Update lean-toolchain for https://github.com/leanprover/lean4/pull/11584 #5631
leanprover-community-mathlib4-botbuild.yml
on: push
Annotations
1 error
|
Build
Process completed with exit code 3.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
261 KB |
sha256:135f86b7f34423131ecc0ef3744794c69945d0407687a716cc80c4aa546c67e6
|
|
|
mathlib4_artifact
|
2 GB |
sha256:99617e3a4478249bde294fd31c0eeba7f58901c0b953373c5b5fffed8b5f864f
|
|