Update lean-toolchain for testing https://github.com/leanprover/lean4… #92782
leanprover-community-mathlib4-botbuild.yml
on: push
Cancel Previous Runs (CI)
2s
check workflows
10s
summarize_declarations
27s
Post-CI job
0s
Annotations
1 error
|
Build
The process '/home/lean/.elan/bin/lake' failed with exit code 1
|