Skip to content

Actions: hazelgrove/hazel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove mousedown overlay; using pointer capture API for selection dra… Build and Deploy Hazel #6541: Commit 08c7e6d pushed by disconcision
January 25, 2025 00:58 4m 41s projectors-live
projectors-live
January 25, 2025 00:58 4m 41s
type fixed but running into server bug Build and Deploy Hazel #6540: Commit 0cdaf5d pushed by reevafaisal
January 25, 2025 00:52 4m 24s final-tutorial-sys
final-tutorial-sys
January 25, 2025 00:52 4m 24s
livelits in context, default model inserted on space Build and Deploy Hazel #6539: Commit 1865c60 pushed by gcrois
January 24, 2025 23:54 11m 11s livelit
livelit
January 24, 2025 23:54 11m 11s
Simplify duplicate_labels Build and Deploy Hazel #6538: Commit 02f9076 pushed by 7h3kk1d
January 24, 2025 22:04 4m 42s labeled-tuple-rewrite
labeled-tuple-rewrite
January 24, 2025 22:04 4m 42s
Cleanup Test_Statics Build and Deploy Hazel #6537: Commit 9691826 pushed by 7h3kk1d
January 24, 2025 21:35 3m 38s labeled-tuple-rewrite
labeled-tuple-rewrite
January 24, 2025 21:35 3m 38s
Revert float formatting change Build and Deploy Hazel #6536: Commit bcb6c00 pushed by 7h3kk1d
January 24, 2025 21:26 3m 56s labeled-tuple-rewrite
labeled-tuple-rewrite
January 24, 2025 21:26 3m 56s
Statics cleanup Build and Deploy Hazel #6535: Commit 891c726 pushed by 7h3kk1d
January 24, 2025 21:21 3m 50s labeled-tuple-rewrite
labeled-tuple-rewrite
January 24, 2025 21:21 3m 50s
Remove debug statement Build and Deploy Hazel #6534: Commit 42b1893 pushed by 7h3kk1d
January 24, 2025 20:57 3m 51s labeled-tuple-rewrite
labeled-tuple-rewrite
January 24, 2025 20:57 3m 51s
Delete Nul Build and Deploy Hazel #6533: Commit 5b06d75 pushed by Negabinary
January 24, 2025 20:48 3m 39s cleanup-nul
cleanup-nul
January 24, 2025 20:48 3m 39s
Stepper css Build and Deploy Hazel #6532: Commit 5791f99 pushed by Negabinary
January 24, 2025 19:24 11m 13s induction-attempt-3
induction-attempt-3
January 24, 2025 19:24 11m 13s
revert pattern match change Build and Deploy Hazel #6531: Commit aebab41 pushed by 7h3kk1d
January 24, 2025 15:25 4m 4s labeled-tuple-rewrite
labeled-tuple-rewrite
January 24, 2025 15:25 4m 4s
Remove comment Build and Deploy Hazel #6530: Commit a9a0ceb pushed by 7h3kk1d
January 24, 2025 15:24 4m 21s labeled-tuple-rewrite
labeled-tuple-rewrite
January 24, 2025 15:24 4m 21s
Add test case for destructuring labeled tuple Build and Deploy Hazel #6529: Commit 1c6819e pushed by 7h3kk1d
January 24, 2025 15:04 5m 27s labeled-tuple-rewrite
labeled-tuple-rewrite
January 24, 2025 15:04 5m 27s
Move labeled tuple test name inside module Build and Deploy Hazel #6528: Commit 39cdc87 pushed by 7h3kk1d
January 24, 2025 14:26 3m 20s labeled-tuple-rewrite
labeled-tuple-rewrite
January 24, 2025 14:26 3m 20s
fix finnicky probe cell resize Build and Deploy Hazel #6527: Commit 071a867 pushed by disconcision
January 24, 2025 06:00 3m 33s projectors-live
projectors-live
January 24, 2025 06:00 3m 33s
more precise css class scheme for relative cell position decorations Build and Deploy Hazel #6526: Commit 45424d4 pushed by disconcision
January 24, 2025 05:10 3m 59s projectors-live
projectors-live
January 24, 2025 05:10 3m 59s
cleanup Build and Deploy Hazel #6525: Commit 29419f7 pushed by WondAli
January 24, 2025 00:04 4m 4s labeled-tuple-rewrite
labeled-tuple-rewrite
January 24, 2025 00:04 4m 4s
Clean up ExpToSegment tests Build and Deploy Hazel #6524: Commit 24873e2 pushed by 7h3kk1d
January 23, 2025 21:50 4m 40s labeled-tuple-rewrite
labeled-tuple-rewrite
January 23, 2025 21:50 4m 40s
Refactor evaluator tests to use parse_and_evaluate_test Build and Deploy Hazel #6523: Commit 447e5b5 pushed by 7h3kk1d
January 23, 2025 21:42 3m 21s labeled-tuple-rewrite
labeled-tuple-rewrite
January 23, 2025 21:42 3m 21s
Cleanup Test_Elaboration Build and Deploy Hazel #6522: Commit 5d6a595 pushed by 7h3kk1d
January 23, 2025 21:25 4m 25s labeled-tuple-rewrite
labeled-tuple-rewrite
January 23, 2025 21:25 4m 25s
Move parse_exp to MakeTerm and strip_casts to DHExp Build and Deploy Hazel #6521: Commit 89261e8 pushed by 7h3kk1d
January 23, 2025 21:09 4m 28s labeled-tuple-rewrite
labeled-tuple-rewrite
January 23, 2025 21:09 4m 28s
Address todos Build and Deploy Hazel #6520: Commit 2e24d88 pushed by 7h3kk1d
January 23, 2025 19:44 4m 22s labeled-tuple-rewrite
labeled-tuple-rewrite
January 23, 2025 19:44 4m 22s
Remove unused sugar type Build and Deploy Hazel #6519: Commit 2ec4498 pushed by 7h3kk1d
January 23, 2025 19:30 3m 58s labeled-tuple-rewrite
labeled-tuple-rewrite
January 23, 2025 19:30 3m 58s
Clean up singleton labels info Build and Deploy Hazel #6518: Commit c94dbd3 pushed by 7h3kk1d
January 23, 2025 19:21 4m 4s labeled-tuple-rewrite
labeled-tuple-rewrite
January 23, 2025 19:21 4m 4s
adds resume chat button Build and Deploy Hazel #6517: Commit 3f33bec pushed by russell-rozenbaum
January 23, 2025 19:20 2m 16s helpful-assistant
helpful-assistant
January 23, 2025 19:20 2m 16s