Update lean-toolchain for testing https://github.com/leanprover/lean4… #5594
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:1128c5ed8dd67613fcdfd68154fc25bcd0d24188f5c377eabcb1fc689c8d8c61
|
|
|
mathlib4_artifact
|
2 GB |
sha256:19e6bf0fb62395241baf26873bce0375c89f214ca8546f0b120e3de5f5478a33
|
|