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

tree-sitter tests not passing #4

New issue
Closed
opened 2026-10-01 09:50:08 +02:00 by EatOreo · 1 comment
EatOreo commented 2026-10-01 09:50:08 +02:00
Owner

cd crocq/tree-sitter-crocq
tree-sitter test

cd crocq/tree-sitter-crocq tree-sitter test
EatOreo changed title from Alle tree-sitter tests passer ikke to tree-sitter tests not passing 2026-10-01 12:49:17 +02:00
marfavi added reference tree-sitter 2026-10-01 13:37:46 +02:00
marfavi commented 2026-10-01 13:38:10 +02:00
Owner

will be fixed by #7

will be fixed by #7
Sign in to join this conversation.
tree-sitter
Branches Tags
Clear current reference
main
release/0.1.0
fix/resync-on-v-rename
feat/infer-inline-declare
feat/grammar-highlighting
feat/clightgen-command-in-status
fix/code-lens-annotation-top
feature/proof-status
fix/inline-clauses-review-findings
Clear current reference
v0.1.0
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#4
No description provided.