Update lean-toolchain for testing https://github.com/leanprover/lean4… #5606
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:eb499e550d998ef5df6776a5a7835d0ac97048113208dc904f52d223b3a14bb0
|
|
|
mathlib4_artifact
|
2 GB |
sha256:a1128999ae30d79e1e88686d926b9218373282eb610e99de7d89b1dab17e05db
|
|