Skip to content

Actions: hazelgrove/hazel

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,803 workflow runs
2,803 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make autosave more reliable post-Bonsai (#1415)
Build and Deploy Hazel #6038: Commit 1b6b475 pushed by Negabinary
November 1, 2024 20:06 3m 11s fix-multiline-copy
November 1, 2024 20:06 3m 11s
added logger
Build and Deploy Hazel #6037: Commit 3285b47 pushed by reevafaisal
November 1, 2024 19:46 2m 50s updated-tutorial-systems
November 1, 2024 19:46 2m 50s
Merge branch 'dev' into remove_termbase_modules
Build and Deploy Hazel #6036: Commit 12b8ddc pushed by 7h3kk1d
November 1, 2024 19:31 3m 56s remove_termbase_modules
November 1, 2024 19:31 3m 56s
Merge branch 'dev' into labeled-tuple-rewrite
Build and Deploy Hazel #6035: Commit 8d3d3e6 pushed by 7h3kk1d
November 1, 2024 19:30 3m 50s labeled-tuple-rewrite
November 1, 2024 19:30 3m 50s
Extract functions to be slightly more legible
Build and Deploy Hazel #6034: Commit 0343f51 pushed by 7h3kk1d
November 1, 2024 16:41 3m 50s labeled-tuple-rewrite
November 1, 2024 16:41 3m 50s
Errored statuses showed up right
Build and Deploy Hazel #6033: Commit d163367 pushed by 7h3kk1d
November 1, 2024 15:25 3m 27s labeled-tuple-rewrite
November 1, 2024 15:25 3m 27s
Merge branch 'fix-saving' into editor-output
Build and Deploy Hazel #6032: Commit 8726b1c pushed by Negabinary
November 1, 2024 15:15 4m 1s editor-output
November 1, 2024 15:15 4m 1s
Fix unused warnings
Build and Deploy Hazel #6031: Commit 7c5abb5 pushed by 7h3kk1d
November 1, 2024 13:34 3m 51s labeled-tuple-rewrite
November 1, 2024 13:34 3m 51s
merged with dev
Build and Deploy Hazel #6030: Commit 4af08b6 pushed by reevafaisal
October 31, 2024 23:16 3m 2s updated-tutorial-systems
October 31, 2024 23:16 3m 2s
merge to dev
Build and Deploy Hazel #6029: Commit 9e9ea30 pushed by GuoDCZ
October 31, 2024 22:12 4m 13s derivation
October 31, 2024 22:12 4m 13s
Closer to getting singleton labeled tuples to work
Build and Deploy Hazel #6028: Commit d88395e pushed by 7h3kk1d
October 31, 2024 20:07 3m 20s labeled-tuple-rewrite
October 31, 2024 20:07 3m 20s
Make autosave more reliable post-Bonsai (#1415)
Build and Deploy Hazel #6027: Commit 1b6b475 pushed by cyrus-
October 31, 2024 19:29 4m 22s dev
dev
October 31, 2024 19:29 4m 22s
Fix init.ml deserialization
Build and Deploy Hazel #6026: Commit 88ea076 pushed by Negabinary
October 31, 2024 16:39 9m 50s editor-output
October 31, 2024 16:39 9m 50s
Switch back to 1s
Build and Deploy Hazel #6025: Commit 0b4eb93 pushed by Negabinary
October 31, 2024 15:56 3m 56s fix-saving
October 31, 2024 15:56 3m 56s
Merge branch 'dev' into fix-saving
Build and Deploy Hazel #6024: Commit 7a41ff7 pushed by Negabinary
October 31, 2024 15:54 4m 14s fix-saving
October 31, 2024 15:54 4m 14s
Merge remote-tracking branch 'origin/dev' into labeled-tuple-rewrite
Build and Deploy Hazel #6023: Commit 61937e7 pushed by 7h3kk1d
October 31, 2024 14:37 3m 52s labeled-tuple-rewrite
October 31, 2024 14:37 3m 52s
Add coverage instrumentation to haz3lmenhir library
Build and Deploy Hazel #6022: Commit d8f2652 pushed by 7h3kk1d
October 31, 2024 14:34 3m 15s menhir_tests
October 31, 2024 14:34 3m 15s
copied over everything for tutorial state - small bug in saving
Build and Deploy Hazel #6021: Commit 3f1838e pushed by reevafaisal
October 31, 2024 14:21 11m 23s updated-tutorial-systems
October 31, 2024 14:21 11m 23s
Merge branch 'coverage' into menhir_tests
Build and Deploy Hazel #6020: Commit 17880ce pushed by 7h3kk1d
October 31, 2024 14:17 4m 28s menhir_tests
October 31, 2024 14:17 4m 28s
Code Coverage (#1368)
Build and Deploy Hazel #6019: Commit 1ab2a78 pushed by totech711
October 30, 2024 19:59 2m 43s evaluator_improvements
October 30, 2024 19:59 2m 43s
Merge branch 'dev' into remove_termbase_modules
Build and Deploy Hazel #6018: Commit 8273401 pushed by 7h3kk1d
October 30, 2024 16:56 10m 24s remove_termbase_modules
October 30, 2024 16:56 10m 24s
Code Coverage (#1368)
Build and Deploy Hazel #6017: Commit 1ab2a78 pushed by cyrus-
October 30, 2024 16:55 10m 14s dev
dev
October 30, 2024 16:55 10m 14s
Solving merge conflicts from original tutorial-systems branch: update…
Build and Deploy Hazel #6016: Commit db0cf93 pushed by reevafaisal
October 30, 2024 16:01 3m 25s updated-tutorial-systems
October 30, 2024 16:01 3m 25s
Additional tests (#1369)
Build and Deploy Hazel #6015: Commit 2992583 pushed by reevafaisal
October 30, 2024 15:57 2m 38s updat
October 30, 2024 15:57 2m 38s
Additional tests (#1369)
Build and Deploy Hazel #6014: Commit 2992583 pushed by reevafaisal
October 30, 2024 15:57 3m 6s update
October 30, 2024 15:57 3m 6s