feat: add graceful cancellation and --stop-on-first-error option in lake#13075
Open
marcelolynch wants to merge 10 commits intoleanprover:masterfrom
Open
feat: add graceful cancellation and --stop-on-first-error option in lake#13075marcelolynch wants to merge 10 commits intoleanprover:masterfrom
--stop-on-first-error option in lake#13075marcelolynch wants to merge 10 commits intoleanprover:masterfrom
Commits
Commits on Mar 23, 2026
Commits on Mar 24, 2026
- committed
- committed
- committed
- committed
- andauthored
- committed
- committed
- committed
Commits on Mar 25, 2026
- andauthored