Update lean-toolchain for testing https://github.com/leanprover/lean4… #143098
build.yml
on: push
Cancel Previous Runs (CI)
10s
Post-CI job
0s