Update lean-toolchain for testing https://github.com/leanprover/lean4… #5629
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:859f55a6d4512440746112b5fb20771bae6e447af14fcdf581dbbaa19a7b6df3
|
|
|
mathlib4_artifact
|
2 GB |
sha256:d60ae5058f2914996a3843d441825873134baa680cf834ab3b7108601af9d376
|
|