Update lean-toolchain for testing https://github.com/leanprover/lean4… #6736
mathlib-nightly-testing[bot]build.yml
on: push
ci
/
Build
22m 4s
ci
/
Lint style
2m 6s
ci
/
Post-CI job
Annotations
3 errors
|
ci / Build
Canceling since a higher priority waiting request for continuous integration-refs/heads/lean-pr-testing-12490- exists
|
|
continuous integration
Canceling since a higher priority waiting request for continuous integration-refs/heads/lean-pr-testing-12490- exists
|
|
continuous integration
Canceling since a higher priority waiting request for continuous integration-refs/heads/lean-pr-testing-12490- exists
|