Update lean-toolchain for testing https://github.com/leanprover/lean4… #5590
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
|
260 KB |
sha256:4e7f342917f9bedb1f1c6805ab19db98529a12174bf38c6939240f3270ca26ac
|
|
|
mathlib4_artifact
|
1.99 GB |
sha256:eb159de21bf658c4dd05462d046b6a2e1ffa42afb0f06add99c7432a45c904b4
|
|