Skip to content

Actions: gruhn/tree-sitter-quint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Helix: more granular type highlights Release #29: Commit 228f411 pushed by gruhn
20s master
master
20s
Create LICENSE Release #28: Commit aec71d9 pushed by gruhn
24s master
master
24s
update README Release #27: Commit da6a06b pushed by gruhn
21s master
master
21s
update README Release #26: Commit 2e52061 pushed by gruhn
23s master
master
23s
CI: same tree sitter version as local Release #25: Commit 5c18e9e pushed by gruhn
17s master
master
17s
tinker release workflow Release #24: Commit eb5558a pushed by gruhn
22s master
master
22s
fix highlight queries Release #23: Commit 42c9281 pushed by gruhn
20s master
master
20s
Grammar: allow empty record type Release #22: Commit f47ae9c pushed by gruhn
15s master
master
15s
Seem to fixed ambiguity with local definitions Release #21: Commit c6b8e35 pushed by gruhn
17s master
master
17s
Try fixing ambiguity with local definitions Release #20: Commit 2d0c099 pushed by gruhn
16s master
master
16s
CI: Parse example files as test Release #19: Commit 0fa9239 pushed by gruhn
16s master
master
16s
Update README.md Release #18: Commit ce1f0ee pushed by gruhn
25s master
master
25s
basic README Release #17: Commit 2a0c211 pushed by gruhn
17s master
master
17s
basic README Release #16: Commit 0025a2c pushed by gruhn
23s master
master
23s
basic README Release #15: Commit b2a96e6 pushed by gruhn
28s master
master
28s
update grammar / helix highlights Release #14: Commit 0caf7d5 pushed by gruhn
24s master
master
24s
Start highlights for Helix editor Release #13: Commit a70b328 pushed by gruhn
21s master
master
21s
fix grammar name typo Release #12: Commit 0496f43 pushed by gruhn
23s master
master
23s
git-ignore .so files Release #11: Commit f93f117 pushed by gruhn
18s master
master
18s
Grammar name must be lowercase Release #10: Commit a564ec0 pushed by gruhn
14s master
master
14s
Tinker: release workflow Release #9: Commit aeccc77 pushed by gruhn
22s master
master
22s
Tinker: release workflow Release #8: Commit d15dd8b pushed by gruhn
22s master
master
22s
Tinker: release workflow Release #7: Commit 6059294 pushed by gruhn
24s master
master
24s
Tinker: release workflow Release #6: Commit 5d5f660 pushed by gruhn
16s master
master
16s
Tinker release workflow Release #5: Commit 60a8038 pushed by gruhn
17s master
master
17s