Skip to content

Actions: hazelgrove/hazel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
rm stray gadt Build and Deploy Hazel #6701: Commit 55dcc88 pushed by disconcision
February 7, 2025 22:31 4m 55s cards
cards
February 7, 2025 22:31 4m 55s
reinstate secondary memoization Build and Deploy Hazel #6700: Commit 7528268 pushed by disconcision
February 7, 2025 22:28 3m 44s cards
cards
February 7, 2025 22:28 3m 44s
fix bug with caret showing up on both sides of flipped card Build and Deploy Hazel #6699: Commit 10ffadf pushed by disconcision
February 7, 2025 21:51 3m 13s cards
cards
February 7, 2025 21:51 3m 13s
Add statics test with annotation Build and Deploy Hazel #6698: Commit 9344474 pushed by 7h3kk1d
February 7, 2025 21:28 4m 12s syntax_playground
syntax_playground
February 7, 2025 21:28 4m 12s
make card chooser work for hands Build and Deploy Hazel #6697: Commit 1481e87 pushed by disconcision
February 7, 2025 21:24 3m 53s cards
cards
February 7, 2025 21:24 3m 53s
Minor change to ID assignment. Build and Deploy Hazel #6696: Commit 81675d3 pushed by DavidFangWJ
February 7, 2025 21:15 11m 14s haz3l-new-func-syntax
haz3l-new-func-syntax
February 7, 2025 21:15 11m 14s
fix but with pasting not trimming leading whitespace Build and Deploy Hazel #6695: Commit 4acb18d pushed by disconcision
February 7, 2025 20:14 4m 30s projectors-live
projectors-live
February 7, 2025 20:14 4m 30s
Fix #1501 Build and Deploy Hazel #6694: Commit 2a45a8a pushed by Negabinary
February 7, 2025 19:41 3m 21s gated-statics
gated-statics
February 7, 2025 19:41 3m 21s
Remove unused import Build and Deploy Hazel #6693: Commit b9b8d5b pushed by 7h3kk1d
February 7, 2025 18:47 3m 40s syntax_playground
syntax_playground
February 7, 2025 18:47 3m 40s
Introduce custom annotation on grammar Build and Deploy Hazel #6692: Commit 92a88f8 pushed by 7h3kk1d
February 7, 2025 18:46 3m 57s syntax_playground
syntax_playground
February 7, 2025 18:46 3m 57s
added LivelitAp term Build and Deploy Hazel #6691: Commit b49de16 pushed by gcrois
February 7, 2025 17:05 4m 20s livelit
livelit
February 7, 2025 17:05 4m 20s
Add new line and labeled function arg example to basic reference Build and Deploy Hazel #6690: Commit 2929297 pushed by 7h3kk1d
February 7, 2025 17:03 4m 13s labeled-tuple-rewrite
labeled-tuple-rewrite
February 7, 2025 17:03 4m 13s
Update explanation for label Build and Deploy Hazel #6689: Commit 5e2075b pushed by 7h3kk1d
February 7, 2025 16:53 3m 43s labeled-tuple-rewrite
labeled-tuple-rewrite
February 7, 2025 16:53 3m 43s
Update explain this description for tup labels Build and Deploy Hazel #6688: Commit e1fad3f pushed by 7h3kk1d
February 7, 2025 16:51 5m 8s labeled-tuple-rewrite
labeled-tuple-rewrite
February 7, 2025 16:51 5m 8s
Labeled tuple element to labeled tuple item Build and Deploy Hazel #6687: Commit ec6ad7e pushed by 7h3kk1d
February 7, 2025 16:42 3m 56s labeled-tuple-rewrite
labeled-tuple-rewrite
February 7, 2025 16:42 3m 56s
Rename UnexpectedLabel to InvalidLabel Build and Deploy Hazel #6686: Commit 7b5b473 pushed by 7h3kk1d
February 7, 2025 16:39 3m 57s labeled-tuple-rewrite
labeled-tuple-rewrite
February 7, 2025 16:39 3m 57s
refmt Build and Deploy Hazel #6685: Commit 655eb49 pushed by 7h3kk1d
February 7, 2025 16:31 4m 23s labeled-tuple-rewrite
labeled-tuple-rewrite
February 7, 2025 16:31 4m 23s
Invalid label to malformed Build and Deploy Hazel #6684: Commit c691d45 pushed by 7h3kk1d
February 7, 2025 16:30 3m 22s labeled-tuple-rewrite
labeled-tuple-rewrite
February 7, 2025 16:30 3m 22s
added documentation slide, removed broken livelits Build and Deploy Hazel #6683: Commit 651219d pushed by gcrois
February 7, 2025 16:26 11m 1s livelit
livelit
February 7, 2025 16:26 11m 1s