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

release-readme #96

Closed
EatOreo wants to merge 3 commits from release-readme into main
pull from: release-readme
merge into: code2rocq:main
Conversation 1 Commits 3 Files changed 7 +49 -8
EatOreo commented 2026-10-30 10:56:45 +01:00
Owner

partially solves #74.
human written

partially solves #74. human written
Merge remote-tracking branch 'origin/main' into release-readme
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 56s
Details
Extension / Format, types, lint, extension tests (pull_request) Successful in 2m7s
Details
5dc87dd0b2
Aggiorna README.md
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 57s
Details
Extension / Format, types, lint, extension tests (pull_request) Successful in 2m6s
Details
a7612501cb
marfavi commented 2026-10-30 14:01:47 +01:00
Owner

Became part of !99

Became part of !99
marfavi closed this pull request 2026-10-30 14:01:48 +01:00
marfavi deleted branch release-readme 2026-10-30 14:01:54 +01:00
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 57s
Required
Details
Extension / Format, types, lint, extension tests (pull_request) Successful in 2m6s
Required
Details

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
blocked
should wait for another issue to be addressed

  
bug

   
priority!

   
quick-pick
No labels
blocked
bug
priority!
quick-pick
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
code2rocq/crocq!96
No description provided.