Skip to content

Actions: hazelgrove/hazel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR Cleanup Build and Deploy Hazel #6726: Commit 9a55f9b pushed by 7h3kk1d
February 10, 2025 15:56 3m 27s labeled-tuple-rewrite
labeled-tuple-rewrite
February 10, 2025 15:56 3m 27s
Revert accidental commit Build and Deploy Hazel #6725: Commit 28596bb pushed by 7h3kk1d
February 10, 2025 15:33 3m 47s labeled-tuple-rewrite
labeled-tuple-rewrite
February 10, 2025 15:33 3m 47s
Merge remote-tracking branch 'origin/dev' into labeled-tuple-rewrite Build and Deploy Hazel #6724: Commit 22d4bde pushed by 7h3kk1d
February 10, 2025 14:54 3m 24s labeled-tuple-rewrite
labeled-tuple-rewrite
February 10, 2025 14:54 3m 24s
Formatting Build and Deploy Hazel #6723: Commit 905fd01 pushed by 7h3kk1d
February 10, 2025 14:17 7m 11s labeled-tuple-rewrite
labeled-tuple-rewrite
February 10, 2025 14:17 7m 11s
probe keyboard controls cleanup Build and Deploy Hazel #6722: Commit d7af934 pushed by disconcision
February 10, 2025 04:15 3m 53s probe-plus
probe-plus
February 10, 2025 04:15 3m 53s
probes only mouse focus on offside now. more keyboard controls for pr… Build and Deploy Hazel #6721: Commit 18a7bb5 pushed by disconcision
February 10, 2025 03:08 3m 58s probe-plus
probe-plus
February 10, 2025 03:08 3m 58s
added test case and check mark functionality, but need to hide it if … Build and Deploy Hazel #6720: Commit 59defe3 pushed by reevafaisal
February 10, 2025 01:53 3m 26s final-tutorial-sys
final-tutorial-sys
February 10, 2025 01:53 3m 26s
LS and LLM chats now appear in sidebar Build and Deploy Hazel #6719: Commit f85d078 pushed by russell-rozenbaum
February 9, 2025 20:24 2m 47s helpful-assistant
helpful-assistant
February 9, 2025 20:24 2m 47s
merge fix Build and Deploy Hazel #6718: Commit 7be0eb7 pushed by disconcision
February 9, 2025 19:45 3m 47s probe-plus
probe-plus
February 9, 2025 19:45 3m 47s
Added more test cases Build and Deploy Hazel #6717: Commit 5bb7c4b pushed by facundoy
February 9, 2025 18:44 3m 45s final-tutorial-sys
final-tutorial-sys
February 9, 2025 18:44 3m 45s
Added test cases for the first 5 tutorials and changes how the wrappe… Build and Deploy Hazel #6716: Commit 93cf6ad pushed by facundoy
February 9, 2025 18:22 5m 15s final-tutorial-sys
final-tutorial-sys
February 9, 2025 18:22 5m 15s
keep track of constructor arities to handle unknowns in scrutinee types Build and Deploy Hazel #6715: Commit 6f35480 pushed by cyrus-
February 9, 2025 05:04 3m 31s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 9, 2025 05:04 3m 31s
hook up focus Build and Deploy Hazel #6714: Commit 5ea990a pushed by disconcision
February 9, 2025 03:05 3m 40s flat-projectors
flat-projectors
February 9, 2025 03:05 3m 40s
project/unproject and ci work. no projector persistance. textproj key… Build and Deploy Hazel #6713: Commit 96070a2 pushed by disconcision
February 9, 2025 02:51 3m 44s flat-projectors
flat-projectors
February 9, 2025 02:51 3m 44s
added Maps util Build and Deploy Hazel #6712: Commit 06e9c01 pushed by cyrus-
February 9, 2025 01:46 4m 5s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 9, 2025 01:46 4m 5s
tested injecting editor statics. WIP Build and Deploy Hazel #6711: Commit e0af80d pushed by CyrusD123
February 8, 2025 22:48 2m 10s helpful-assistant
helpful-assistant
February 8, 2025 22:48 2m 10s
PR cleanup Build and Deploy Hazel #6710: Commit 3fb8500 pushed by 7h3kk1d
February 8, 2025 22:45 2m 29s labeled-tuple-rewrite
labeled-tuple-rewrite
February 8, 2025 22:45 2m 29s
remove probe data from exercises mode text validation editor Build and Deploy Hazel #6709: Commit 1cf6206 pushed by disconcision
February 8, 2025 19:25 4m 8s projectors-live
projectors-live
February 8, 2025 19:25 4m 8s
Updates to TYp.re, removed old comment about to_typ Build and Deploy Hazel #6708: Commit a834370 pushed by isdiemer
February 8, 2025 16:26 1m 59s param_types_update
param_types_update
February 8, 2025 16:26 1m 59s
removed projector guts from piece. much re-routing necessary. project… Build and Deploy Hazel #6707: Commit 6f0b9e7 pushed by disconcision
February 8, 2025 05:54 3m 43s flat-projectors
flat-projectors
February 8, 2025 05:54 3m 43s
merged in live projectors. compiles, runs, crashes on project Build and Deploy Hazel #6706: Commit 88f8eb1 pushed by disconcision
February 8, 2025 01:50 3m 57s flat-projectors
flat-projectors
February 8, 2025 01:50 3m 57s
Added Arrow Kind to Ctx.re, added ParamAp to TermBase.re. ParamAp rep… Build and Deploy Hazel #6705: Commit 0b64114 pushed by isdiemer
February 7, 2025 23:25 1m 52s param_types_update
param_types_update
February 7, 2025 23:25 1m 52s
can project; set syntax broken Build and Deploy Hazel #6704: Commit 1b9cdbc pushed by disconcision
February 7, 2025 23:09 3m 37s flat-projectors
flat-projectors
February 7, 2025 23:09 3m 37s
backup work for weekend Build and Deploy Hazel #6703: Commit c22a807 pushed by Negabinary
February 7, 2025 22:53 4m 13s induction-attempt-3
induction-attempt-3
February 7, 2025 22:53 4m 13s
dev merge compiling; projectors not working Build and Deploy Hazel #6702: Commit e189ed2 pushed by disconcision
February 7, 2025 22:46 3m 41s flat-projectors
flat-projectors
February 7, 2025 22:46 3m 41s