input-output-hk / input-output-hk/Lean-blaster
⚠️ Nightly Lean 4 Build Failure
Open
Maintenance
nightly-build-failure
- Dominant language
- Lean
- Stars
- 57
- Forks
- 11
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 10
Description
The nightly build against Lean 4 nightly has failed.
**Workflow Run:** https://github.com/input-output-hk/Lean-blaster/actions/runs/19435649742
This may indicate upcoming breaking changes in Lean 4 that require attention.
Please investigate and plan for necessary updates.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.