Update lean-toolchain for https://github.com/leanprover/lean4/pull/11584 #5615
leanprover-community-mathlib4-botbuild.yml
on: push
Annotations
3 errors
|
Build
Canceling since a higher priority waiting request for continuous integration-refs/heads/lean-pr-testing-11584- exists
|
|
Build
Process completed with exit code 3.
|
|
continuous integration
Canceling since a higher priority waiting request for continuous integration-refs/heads/lean-pr-testing-11584- exists
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
mathlib4_artifact
|
2 GB |
sha256:ca5c7317fd49e580846c7e9f6fdf63cd4273e2bb0db08762d94aebd074d62f37
|
|