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

Add license #69

Merged
michael merged 1 commit from add-license into main 2026-10-22 14:32:46 +02:00
Conversation 1 Commits 1 Files changed 1 +21
marfavi commented 2026-10-22 14:28:31 +02:00
Owner

Fix #64

Fix #64
Add license
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 1m25s
Details
Extension / Format, types, lint, extension tests (pull_request) Successful in 4m11s
Details
cdbe33c79e
michael approved these changes 2026-10-22 14:30:39 +02:00
michael scheduled this pull request to auto merge when all checks succeed 2026-10-22 14:31:01 +02:00
michael deleted branch add-license 2026-10-22 14:32:47 +02:00
michael referenced this pull request from a commit 2026-10-22 14:32:48 +02:00
Add license (#69)
Sign in to join this conversation.
Reviewers
No reviewers
michael
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!69
No description provided.