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