input-output-hk / input-output-hk/Lean-blaster
Bump to Lean 4 4.3X
Open
area: build
area: ci
- Dominant language
- Lean
- Stars
- 57
- Forks
- 11
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 10
Description
- [ ] In Lean-blaster
- [ ] In PlutusCoreBlaster
- [ ] In CardanoLedgerAPIBlaster
- [ ] In CI/CD
- [ ] Run again the benchmarks
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.