Update lean-toolchain for testing https://github.com/leanprover/lean4… #5628
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:4e23262341b161044a6cdd14a9788dcd6e92aa390c3d33d5e66e2e38a12202b1
|
|
|
mathlib4_artifact
|
2 GB |
sha256:237f1553f054026b0370f6465d24c024783d0a2bdf47d67553351fd07e79b79d
|
|