Update lean-toolchain for testing https://github.com/leanprover/lean4… #9424
Annotations
2 errors
|
build, test, and lint batteries
lake build failed
|
|
build, test, and lint batteries
Process completed with exit code 1.
|
Loading