Skip to content

Actions: hazelgrove/hazel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed padding for module-name and prompt to reduce empty space, instr… Build and Deploy Hazel #6925: Commit 263040a pushed by facundoy
February 23, 2025 17:39 3m 16s title-editor-2
title-editor-2
February 23, 2025 17:39 3m 16s
Eliminated bold font for prompt and changed 'new points max' to 'points' Build and Deploy Hazel #6924: Commit 8072c5b pushed by facundoy
February 23, 2025 17:23 4m 21s title-editor-2
title-editor-2
February 23, 2025 17:23 4m 21s
Merge branch 'dev' into refine Build and Deploy Hazel #6923: Commit 29a8355 pushed by 7h3kk1d
February 22, 2025 23:56 4m 13s refine
refine
February 22, 2025 23:56 4m 13s
Merge branch 'syntax_playground' into syntax_factory Build and Deploy Hazel #6922: Commit 9496947 pushed by 7h3kk1d
February 22, 2025 23:56 4m 10s syntax_factory
syntax_factory
February 22, 2025 23:56 4m 10s
Merge branch 'dev' into syntax_playground Build and Deploy Hazel #6921: Commit 69ada5e pushed by 7h3kk1d
February 22, 2025 23:56 4m 4s syntax_playground
syntax_playground
February 22, 2025 23:56 4m 4s
Codecov setting changes (#1538) Build and Deploy Hazel #6920: Commit ffaad0d pushed by cyrus-
February 22, 2025 23:35 3m 5s dev
dev
February 22, 2025 23:35 3m 5s
Use Grammar types for menhir Build and Deploy Hazel #6919: Commit e1e1597 pushed by 7h3kk1d
February 22, 2025 23:12 5m 31s syntax_factory
syntax_factory
February 22, 2025 23:12 5m 31s
Mark codecov checks as informational Build and Deploy Hazel #6918: Commit 9f3f3ff pushed by 7h3kk1d
February 22, 2025 22:32 3m 7s codecov_changes
codecov_changes
February 22, 2025 22:32 3m 7s
Increase coverage threshold from 0% to 2% in codecov configuration Build and Deploy Hazel #6917: Commit ec3d0ad pushed by 7h3kk1d
February 22, 2025 22:25 3m 6s codecov_changes
codecov_changes
February 22, 2025 22:25 3m 6s
All references to the old error/no_error functions removed Build and Deploy Hazel #6916: Commit fc2299f pushed by 7h3kk1d
February 22, 2025 22:18 3m 19s syntax_factory
syntax_factory
February 22, 2025 22:18 3m 19s
Nest functions under modules Build and Deploy Hazel #6915: Commit 96b7190 pushed by 7h3kk1d
February 22, 2025 21:36 3m 54s syntax_factory
syntax_factory
February 22, 2025 21:36 3m 54s
Merge branch 'dev' into param_types_update Build and Deploy Hazel #6914: Commit 6b6cd28 pushed by isdiemer
February 22, 2025 16:37 1m 40s param_types_update
param_types_update
February 22, 2025 16:37 1m 40s
Merge branch 'dev' into param_types_update Build and Deploy Hazel #6913: Commit 6325229 pushed by isdiemer
February 22, 2025 16:37 2m 41s param_types_update
param_types_update
February 22, 2025 16:37 2m 41s
Hide stepper filters & bring back function names (#1532) Build and Deploy Hazel #6912: Commit 38f9222 pushed by cyrus-
February 22, 2025 01:46 3m 49s dev
dev
February 22, 2025 01:46 3m 49s
Prover tidy (#1527) Build and Deploy Hazel #6911: Commit c7fd601 pushed by Negabinary
February 21, 2025 19:59 4m 1s proof-steps
proof-steps
February 21, 2025 19:59 4m 1s
Bring back function names in stepper Build and Deploy Hazel #6910: Commit cd94802 pushed by Negabinary
February 21, 2025 19:45 3m 39s hide-stepper-filters
hide-stepper-filters
February 21, 2025 19:45 3m 39s
Hide filters in stepper Build and Deploy Hazel #6909: Commit c78af28 pushed by Negabinary
February 21, 2025 19:20 4m 7s hide-stepper-filters
hide-stepper-filters
February 21, 2025 19:20 4m 7s
Add buttons Build and Deploy Hazel #6908: Commit 81c90b4 pushed by Negabinary
February 21, 2025 19:07 3m 30s prover-axiom-box
prover-axiom-box
February 21, 2025 19:07 3m 30s
added unbound livelit error state, context searching matches existing… Build and Deploy Hazel #6907: Commit 0cf8f26 pushed by gcrois
February 21, 2025 18:15 11m 10s livelit
livelit
February 21, 2025 18:15 11m 10s
added unbound livelit error state, context switching matches existing… Build and Deploy Hazel #6906: Commit 9a9c948 pushed by gcrois
February 21, 2025 18:14 10m 42s livelit
livelit
February 21, 2025 18:14 10m 42s
init commit Build and Deploy Hazel #6905: Commit 3e693c2 pushed by shprasad10
February 21, 2025 05:19 8m 40s shprasad/impforalls
shprasad/impforalls
February 21, 2025 05:19 8m 40s
rebase rule spec Build and Deploy Hazel #6904: Commit 1362b62 pushed by GuoDCZ
February 21, 2025 03:29 4m 12s derivation
derivation
February 21, 2025 03:29 4m 12s
merge with dev + fix bug with constructor elaboration Build and Deploy Hazel #6903: Commit 530386c pushed by cyrus-
February 21, 2025 01:32 5m 5s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 21, 2025 01:32 5m 5s
Make the code structure more intuitive. Build and Deploy Hazel #6902: Commit e4477fb pushed by DavidFangWJ
February 20, 2025 23:39 3m 19s haz3l-new-func-syntax
haz3l-new-func-syntax
February 20, 2025 23:39 3m 19s
Success in first experiments under new syntax. Build and Deploy Hazel #6901: Commit f1c9bbe pushed by DavidFangWJ
February 20, 2025 22:06 3m 49s haz3l-new-func-syntax
haz3l-new-func-syntax
February 20, 2025 22:06 3m 49s