code2rocq/crocq
code2rocq/crocq
Watch
3
2
Fork
You've already forked crocq
 0
Code Issues 18 Pull requests 3 Projects 1 Releases 1 Packages 2 Activity Actions
Labels Milestones
Search syntax
See the documentation for further details on search, operators, and filters.
"forgejo"
Include only results that match the term in quotes
assignee:<username>
Filter by assigned user
author:<username>
Filter by the author
is:all
All
is:closed
Closed
is:open
Open
mentions:<username>
Filter by mentioned user
modified:[>|<]<date>
Filter by last modified date
review:<username>
Filter by user who reviewed
sort:<by>:[asc|desc]
Sort by: created|comments|updated|deadline
New pull request
3 Open 53 Closed 56 All
Label
Clear labels
blocked
bug
priority!
quick-pick
Milestone
No milestone
Projects
Clear projects
Open projects
Release roadmap
Assignee
Clear assignees
No assignee
EatOreo
marfavi
michael
Confirm to delete all selected items?
Update annotation links on rename
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 1m10s
Details
Extension / Format, types, lint, extension tests (pull_request) Successful in 3m31s
Details
4
#89 opened 2026-10-28 15:07:15 +01:00 by marfavi
main
1 change request
Inline SPEC/INV bodies with inferred DECLARE
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 45s
Details
Extension / Format, types, lint, extension tests (pull_request) Successful in 1m54s
Details
#86 opened 2026-10-28 14:55:29 +01:00 by marfavi
main
2 conflicting files
WIP: proof-of-concept: show proof status
Some checks failed
Grammar / Corpus and binding tests (pull_request) Successful in 1m1s
Details
Extension / Format, types, lint, extension tests (pull_request) Failing after 2m38s
Details
#45 opened 2026-10-15 15:53:37 +02:00 by EatOreo
main
16 conflicting files