Skip to content

Actions: hazelgrove/hazel

Actions

Build and Deploy Hazel

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy_branches.yml
2,902 workflow runs
2,902 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unnecessary curly braces Build and Deploy Hazel #6965: Commit 3affe2c pushed by 7h3kk1d
February 26, 2025 15:20 3m 55s syntax_factory
syntax_factory
February 26, 2025 15:20 3m 55s
Use FreshGrammar in Test_MakeTerm Build and Deploy Hazel #6964: Commit d77e2f8 pushed by 7h3kk1d
February 26, 2025 15:17 5m 0s syntax_factory
syntax_factory
February 26, 2025 15:17 5m 0s
Add addition pattern Build and Deploy Hazel #6963: Commit a100aa9 pushed by Negabinary
February 26, 2025 15:15 In progress add-pattern
add-pattern
February 26, 2025 15:15 In progress
Use FreshGrammar in Test_Menhir Build and Deploy Hazel #6962: Commit 3ce71cb pushed by 7h3kk1d
February 26, 2025 15:07 8m 46s syntax_factory
syntax_factory
February 26, 2025 15:07 8m 46s
Move id indicated conversion to Conversion.re Build and Deploy Hazel #6961: Commit b5c2ecc pushed by 7h3kk1d
February 26, 2025 14:45 7m 11s syntax_factory
syntax_factory
February 26, 2025 14:45 7m 11s
Remove unused UnitAnnotation module Build and Deploy Hazel #6960: Commit 3a85821 pushed by 7h3kk1d
February 25, 2025 22:14 14m 42s syntax_factory
syntax_factory
February 25, 2025 22:14 14m 42s
Add addition pattern Build and Deploy Hazel #6959: Commit a6f60f9 pushed by Negabinary
February 25, 2025 21:25 4m 35s add-pattern
add-pattern
February 25, 2025 21:25 4m 35s
Probe handling for autolabelling singleton tuples Build and Deploy Hazel #6958: Commit 4a83e56 pushed by 7h3kk1d
February 25, 2025 21:17 4m 20s projectors-live
projectors-live
February 25, 2025 21:17 4m 20s
Integrate shortcut and remove local undo Build and Deploy Hazel #6957: Commit 494d987 pushed by Negabinary
February 25, 2025 20:36 3m 59s global-undo
global-undo
February 25, 2025 20:36 3m 59s
create global undo Build and Deploy Hazel #6956: Commit a627b37 pushed by Negabinary
February 25, 2025 20:27 4m 36s global-undo
global-undo
February 25, 2025 20:27 4m 36s
create global undo Build and Deploy Hazel #6955: Commit 5f6af3c pushed by Negabinary
February 25, 2025 20:26 4m 8s global-undo
global-undo
February 25, 2025 20:26 4m 8s
Added probe testing Build and Deploy Hazel #6954: Commit 74ad433 pushed by 7h3kk1d
February 25, 2025 19:43 4m 28s projectors-live
projectors-live
February 25, 2025 19:43 4m 28s
Merge remote-tracking branch 'origin/dev' into projectors-live-sp Build and Deploy Hazel #6953: Commit f039fcc pushed by 7h3kk1d
February 25, 2025 19:11 7m 27s projectors-live-sp
projectors-live-sp
February 25, 2025 19:11 7m 27s
merge fixes Build and Deploy Hazel #6952: Commit beb4838 pushed by disconcision
February 25, 2025 19:10 4m 21s projectors-live
projectors-live
February 25, 2025 19:10 4m 21s
Merge branch 'dev' into syntax_factory Build and Deploy Hazel #6951: Commit fd15107 pushed by 7h3kk1d
February 25, 2025 18:45 3m 53s syntax_factory
syntax_factory
February 25, 2025 18:45 3m 53s
Make ID annotation on grammar a type parameter (#1518) Build and Deploy Hazel #6950: Commit 4390190 pushed by cyrus-
February 25, 2025 17:20 4m 45s dev
dev
February 25, 2025 17:20 4m 45s
merged with latest Build and Deploy Hazel #6949: Commit fb38ec6 pushed by gcrois
February 25, 2025 16:21 4m 1s livelit
livelit
February 25, 2025 16:21 4m 1s
Stop using global mutable array in menhir conversion Build and Deploy Hazel #6948: Commit c5ebe7d pushed by 7h3kk1d
February 25, 2025 15:59 7m 40s syntax_factory
syntax_factory
February 25, 2025 15:59 7m 40s
Stop using global mutable array in menhir conversion Build and Deploy Hazel #6947: Commit d4c597f pushed by 7h3kk1d
February 25, 2025 15:56 3m 27s syntax_factory
syntax_factory
February 25, 2025 15:56 3m 27s
Create ui scaffold for rewrite Build and Deploy Hazel #6946: Commit 8d9b0cb pushed by Negabinary
February 25, 2025 15:48 3m 45s prover-axiom-box
prover-axiom-box
February 25, 2025 15:48 3m 45s
Merge branch 'syntax_playground' into syntax_factory Build and Deploy Hazel #6945: Commit b7c215a pushed by 7h3kk1d
February 25, 2025 15:10 4m 29s syntax_factory
syntax_factory
February 25, 2025 15:10 4m 29s
Merge remote-tracking branch 'origin/dev' into syntax_playground Build and Deploy Hazel #6944: Commit 4240da6 pushed by 7h3kk1d
February 25, 2025 14:46 4m 7s syntax_playground
syntax_playground
February 25, 2025 14:46 4m 7s
moved CoqExport code to StepperBase, unfortunately Build and Deploy Hazel #6943: Commit 9ead118 pushed by nskh
February 25, 2025 14:26 2m 10s stepper-coq-export-updated-feb-2025
stepper-coq-export-updated-feb-2025
February 25, 2025 14:26 2m 10s
moved CoqExport.re and trying to plumb through Model.step from Steppe… Build and Deploy Hazel #6942: Commit 48c7620 pushed by nskh
February 25, 2025 03:39 2m 24s stepper-coq-export-updated-feb-2025
stepper-coq-export-updated-feb-2025
February 25, 2025 03:39 2m 24s
faster pattern coverage checking (#1491) Build and Deploy Hazel #6941: Commit 63e8228 pushed by cyrus-
February 25, 2025 03:32 4m 17s dev
dev
February 25, 2025 03:32 4m 17s