Skip to content

Actions: LegacyCodeHQ/quint-format

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix: preserve displaced-arrow match bodies CI #44: Commit 98c4366 pushed by ragunathjawahar
20s main
main
20s
chore: release 0.1.0-alpha.9 Publish to npm #11: Commit 773dcf1 pushed by ragunathjawahar
42s v0.1.0-alpha.9
v0.1.0-alpha.9
42s
chore: release 0.1.0-alpha.9 CI #43: Commit 773dcf1 pushed by ragunathjawahar
25s main
main
25s
fix: indent hanging record continuations CI #42: Commit ae22c99 pushed by ragunathjawahar
29s main
main
29s
fix: expand line-broken conditional blocks CI #41: Commit 0a629f5 pushed by ragunathjawahar
27s main
main
27s
fix: align parenthesized postfix continuations CI #40: Commit 914dceb pushed by ragunathjawahar
23s main
main
23s
fix: preserve compact nested lambda headers CI #39: Commit 16b2b12 pushed by ragunathjawahar
29s main
main
29s
fix: preserve adjacent local results CI #38: Commit 8da666d pushed by ragunathjawahar
22s main
main
22s
chore: release 0.1.0-alpha.8 Publish to npm #10: Commit 9d7af56 pushed by ragunathjawahar
50s v0.1.0-alpha.8
v0.1.0-alpha.8
50s
chore: release 0.1.0-alpha.8 CI #37: Commit 9d7af56 pushed by ragunathjawahar
25s main
main
25s
fix: preserve expanded UFCS arguments CI #36: Commit 8718559 pushed by ragunathjawahar
26s main
main
26s
fix: preserve compact block else-if ladders CI #35: Commit 7675c89 pushed by ragunathjawahar
24s main
main
24s
fix: indent definition match continuations CI #34: Commit 535879c pushed by ragunathjawahar
30s main
main
30s
fix: align match combinators with cases CI #33: Commit b1e79bb pushed by ragunathjawahar
20s main
main
20s
fix: unify binary right operand continuations CI #32: Commit ad4ec3a pushed by ragunathjawahar
21s main
main
21s
chore: release 0.1.0-alpha.7 Publish to npm #9: Commit 1788fa8 pushed by ragunathjawahar
37s v0.1.0-alpha.7
v0.1.0-alpha.7
37s
chore: release 0.1.0-alpha.7 CI #31: Commit 1788fa8 pushed by ragunathjawahar
30s main
main
30s
fix: indent match arm continuations CI #30: Commit 6c1c648 pushed by ragunathjawahar
24s main
main
24s
fix: indent line-broken operator bodies CI #29: Commit c406fff pushed by ragunathjawahar
20s main
main
20s
feat: persist review view in URL CI #28: Commit a97ca3c pushed by ragunathjawahar
20s main
main
20s
fix: preserve type alias continuations CI #27: Commit 33d4272 pushed by ragunathjawahar
21s main
main
21s
fix: preserve grouped assumptions CI #26: Commit 195ed6b pushed by ragunathjawahar
28s main
main
28s
test: verify npm version output Publish to npm #8: Commit c1d2fd9 pushed by ragunathjawahar
31s v0.1.0-alpha.6
v0.1.0-alpha.6
31s
test: verify npm version output CI #25: Commit c1d2fd9 pushed by ragunathjawahar
22s main
main
22s
chore: release 0.1.0-alpha.6 Publish to npm #7: Commit 4a6482c pushed by ragunathjawahar
25s v0.1.0-alpha.6
v0.1.0-alpha.6
25s