Skip to content

Actions: hazelgrove/hazel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'projectors-live' of github.com:hazelgrove/hazel into cards Build and Deploy Hazel #6333: Commit 665e9ed pushed by disconcision
January 6, 2025 04:43 3m 22s cards
cards
January 6, 2025 04:43 3m 22s
telescope (ap) probes style Build and Deploy Hazel #6332: Commit d6d4b20 pushed by disconcision
January 6, 2025 04:35 11m 35s projectors-live
projectors-live
January 6, 2025 04:35 11m 35s
FLIP technique based element transition animations. Currently applied… Build and Deploy Hazel #6331: Commit beb0dc9 pushed by disconcision
January 5, 2025 21:18 11m 9s cards
cards
January 5, 2025 21:18 11m 9s
updated cursor view Build and Deploy Hazel #6330: Commit 694d904 pushed by WondAli
January 3, 2025 23:13 4m 28s labeled-tuple-rewrite
labeled-tuple-rewrite
January 3, 2025 23:13 4m 28s
Update Label view to include label name in type representation Build and Deploy Hazel #6329: Commit 9b437b4 pushed by 7h3kk1d
December 30, 2024 18:43 3m 10s labeled-tuple-rewrite
labeled-tuple-rewrite
December 30, 2024 18:43 3m 10s
all probe cells now individually resizable Build and Deploy Hazel #6328: Commit 527d392 pushed by disconcision
December 29, 2024 21:36 3m 58s projectors-live
projectors-live
December 29, 2024 21:36 3m 58s
projector API flag for dynamics collection Build and Deploy Hazel #6327: Commit 10c3a35 pushed by disconcision
December 29, 2024 21:07 3m 50s projectors-live
projectors-live
December 29, 2024 21:07 3m 50s
style deeper stack ap indications differently than first degree Build and Deploy Hazel #6326: Commit 9ce7709 pushed by disconcision
December 29, 2024 05:20 3m 29s projectors-live
projectors-live
December 29, 2024 05:20 3m 29s
probe projector ap indication in patterns. css cleanup Build and Deploy Hazel #6325: Commit 8640845 pushed by disconcision
December 28, 2024 05:17 3m 28s projectors-live
projectors-live
December 28, 2024 05:17 3m 28s
probe projector ap descent indication Build and Deploy Hazel #6324: Commit 6fb7a52 pushed by disconcision
December 28, 2024 01:53 11m 13s projectors-live
projectors-live
December 28, 2024 01:53 11m 13s
Progress on cursor inspector for pattern singleton elaboration Build and Deploy Hazel #6323: Commit fdb8a5e pushed by 7h3kk1d
December 27, 2024 20:16 3m 56s labeled-tuple-rewrite
labeled-tuple-rewrite
December 27, 2024 20:16 3m 56s
Use unelaborated syntax for ExplainThis Build and Deploy Hazel #6322: Commit 7158c4a pushed by 7h3kk1d
December 27, 2024 19:58 11m 40s labeled-tuple-rewrite
labeled-tuple-rewrite
December 27, 2024 19:58 11m 40s
Upgrade junit_alcotest to 2.1.0 and uncomment skipped tests Build and Deploy Hazel #6321: Commit a5b5421 pushed by 7h3kk1d
December 24, 2024 17:30 11m 31s menhir_tests
menhir_tests
December 24, 2024 17:30 11m 31s
fix statics Build and Deploy Hazel #6320: Commit 5bb445f pushed by tonyfettes
December 23, 2024 15:56 11m 17s filter-debug-keyword
filter-debug-keyword
December 23, 2024 15:56 11m 17s
Remove invalid deferral test Build and Deploy Hazel #6319: Commit ce578a3 pushed by 7h3kk1d
December 22, 2024 18:15 3m 16s menhir_tests
menhir_tests
December 22, 2024 18:15 3m 16s
Add detailed documentation for generator functions in AST Build and Deploy Hazel #6318: Commit 9620c17 pushed by 7h3kk1d
December 22, 2024 18:04 3m 22s menhir_tests
menhir_tests
December 22, 2024 18:04 3m 22s
Cleanup Build and Deploy Hazel #6317: Commit 24ebb17 pushed by 7h3kk1d
December 22, 2024 17:31 3m 23s menhir_tests
menhir_tests
December 22, 2024 17:31 3m 23s
Refactor gen_pat_sized to use let notation Build and Deploy Hazel #6316: Commit 64d1a04 pushed by 7h3kk1d
December 22, 2024 17:04 3m 38s menhir_tests
menhir_tests
December 22, 2024 17:04 3m 38s
Refmt Build and Deploy Hazel #6315: Commit 8deebf7 pushed by 7h3kk1d
December 22, 2024 16:46 3m 29s menhir_tests
menhir_tests
December 22, 2024 16:46 3m 29s
Finish converting gen_exp to let notation Build and Deploy Hazel #6314: Commit 423d874 pushed by 7h3kk1d
December 22, 2024 16:43 3m 58s menhir_tests
menhir_tests
December 22, 2024 16:43 3m 58s
Refactor gen_exp_sized to use let* for improved readability and struc… Build and Deploy Hazel #6313: Commit d220808 pushed by 7h3kk1d
December 22, 2024 16:31 3m 23s menhir_tests
menhir_tests
December 22, 2024 16:31 3m 23s
Simplify qualified imports Build and Deploy Hazel #6312: Commit 5cdb818 pushed by 7h3kk1d
December 22, 2024 16:11 11m 18s menhir_tests
menhir_tests
December 22, 2024 16:11 11m 18s
better styling for live pat probe Build and Deploy Hazel #6311: Commit 8ea387e pushed by disconcision
December 22, 2024 04:41 3m 30s projectors-live
projectors-live
December 22, 2024 04:41 3m 30s
probe projectors on patterns Build and Deploy Hazel #6310: Commit 6da6244 pushed by disconcision
December 22, 2024 04:01 11m 30s projectors-live
projectors-live
December 22, 2024 04:01 11m 30s
puts captions and subcaptions from perspective of instructor when in … Build and Deploy Hazel #6309: Commit e4626cd pushed by russell-rozenbaum
December 21, 2024 16:10 4m 21s title-editor-2
title-editor-2
December 21, 2024 16:10 4m 21s