Update lean-toolchain for testing https://github.com/leanprover/lean4… #61102
build.yml
on: push
Cancel Previous Runs (CI)
2s
check workflows
6s
Post-CI job
8s