Skip to content

Actions: gruhn/tree-sitter-quint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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