Skip to content

Actions: hazelgrove/hazel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

progress on testing Build and Deploy Hazel #6777: Commit d30ff79 pushed by cyrus-
February 13, 2025 05:30 3m 56s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 13, 2025 05:30 3m 56s
bug fix for filter for Cast & TypFun (#1494) Build and Deploy Hazel #6776: Commit 847a438 pushed by cyrus-
February 12, 2025 18:45 2m 42s dev
dev
February 12, 2025 18:45 2m 42s
Make type join symmetric (#1499) Build and Deploy Hazel #6775: Commit aa56aba pushed by cyrus-
February 12, 2025 18:43 2m 40s dev
dev
February 12, 2025 18:43 2m 40s
remove ERR comment on casting page Build and Deploy Hazel #6774: Commit 0e24c16 pushed by cyrus-
February 12, 2025 18:42 2m 6s typ-join
typ-join
February 12, 2025 18:42 2m 6s
Fix #1501 (#1502) Build and Deploy Hazel #6773: Commit 4759f2c pushed by cyrus-
February 12, 2025 18:34 3m 25s dev
dev
February 12, 2025 18:34 3m 25s
Replace form strings with sum type (#1511) Build and Deploy Hazel #6772: Commit 75f48e6 pushed by cyrus-
February 12, 2025 18:32 3m 48s dev
dev
February 12, 2025 18:32 3m 48s
Fix #1501 Build and Deploy Hazel #6771: Commit 107b31c pushed by Negabinary
February 12, 2025 15:19 7m 6s gated-statics
gated-statics
February 12, 2025 15:19 7m 6s
Make type join symmetric Build and Deploy Hazel #6770: Commit 524287a pushed by Negabinary
February 12, 2025 15:17 3m 32s typ-join
typ-join
February 12, 2025 15:17 3m 32s
More statics tests converted Build and Deploy Hazel #6769: Commit f26f270 pushed by 7h3kk1d
February 12, 2025 14:09 2m 57s syntax_playground
syntax_playground
February 12, 2025 14:09 2m 57s
cleanup: rm underlayer Build and Deploy Hazel #6768: Commit 5728873 pushed by disconcision
February 12, 2025 05:35 3m 58s projectors-live
projectors-live
February 12, 2025 05:35 3m 58s
Merge branch 'projectors-live' of github.com:hazelgrove/hazel into pr… Build and Deploy Hazel #6767: Commit e530a38 pushed by disconcision
February 12, 2025 05:21 3m 27s projectors-live
projectors-live
February 12, 2025 05:21 3m 27s
Merge branch 'projectors-live' of github.com:hazelgrove/hazel into pr… Build and Deploy Hazel #6766: Commit e530a38 pushed by disconcision
February 12, 2025 05:14 4m 41s probe-plus
probe-plus
February 12, 2025 05:14 4m 41s
combine can_project and init methods of projector API Build and Deploy Hazel #6765: Commit 44a26d1 pushed by disconcision
February 12, 2025 05:08 3m 20s probe-plus
probe-plus
February 12, 2025 05:08 3m 20s
refined projectors API keyboard focus. probe arrow+shift now resizes … Build and Deploy Hazel #6764: Commit fa2adf5 pushed by disconcision
February 12, 2025 04:37 3m 38s probe-plus
probe-plus
February 12, 2025 04:37 3m 38s
Removed ParamAp, added TFun to TermBase.re, and implemented a few of … Build and Deploy Hazel #6763: Commit d451249 pushed by isdiemer
February 12, 2025 04:12 1m 33s param_types_update
param_types_update
February 12, 2025 04:12 1m 33s
progress on tests and new test helper features Build and Deploy Hazel #6762: Commit e6e6225 pushed by cyrus-
February 12, 2025 03:52 4m 13s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 12, 2025 03:52 4m 13s
cleanup Build and Deploy Hazel #6761: Commit df444a7 pushed by disconcision
February 12, 2025 02:22 3m 28s probe-plus
probe-plus
February 12, 2025 02:22 3m 28s
fix failing test by removing parens from normalized types Build and Deploy Hazel #6760: Commit 7528a11 pushed by cyrus-
February 12, 2025 01:16 3m 49s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 12, 2025 01:16 3m 49s
move Sets into util Build and Deploy Hazel #6759: Commit 41d5fb5 pushed by cyrus-
February 11, 2025 23:37 3m 33s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 11, 2025 23:37 3m 33s
merge with dev Build and Deploy Hazel #6758: Commit 1bded17 pushed by cyrus-
February 11, 2025 23:31 3m 24s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 11, 2025 23:31 3m 24s
fix for polymorphic types Build and Deploy Hazel #6757: Commit e2f5ddf pushed by cyrus-
February 11, 2025 22:55 3m 20s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 11, 2025 22:55 3m 20s
fix for recursive types Build and Deploy Hazel #6756: Commit f1e681b pushed by cyrus-
February 11, 2025 22:47 3m 52s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 11, 2025 22:47 3m 52s
Replace form strings with sum type Build and Deploy Hazel #6755: Commit 61f7b28 pushed by Negabinary
February 11, 2025 22:06 3m 43s form-sum-type
form-sum-type
February 11, 2025 22:06 3m 43s
this is actually way simpler Build and Deploy Hazel #6754: Commit f9bb83e pushed by 7h3kk1d
February 11, 2025 20:24 3m 2s syntax_playground
syntax_playground
February 11, 2025 20:24 3m 2s
Add helper function for annotated_tree_test Build and Deploy Hazel #6753: Commit 50187ce pushed by 7h3kk1d
February 11, 2025 20:20 3m 1s syntax_playground
syntax_playground
February 11, 2025 20:20 3m 1s