Update lean-toolchain for https://github.com/leanprover/lean4/pull/12481 #7048
mathlib-nightly-testing[bot]build.yml
on: push
ci
/
Build
57m 36s
ci
/
Lint style
2m 12s
ci
/
Post-CI job
9s
Annotations
1 error and 1 warning
|
ci / Build
Process completed with exit code 3.
|
|
ci / Build
Cache directory does not exist: /home/lean/.cache/mathlib
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cache-staging
|
371 MB |
sha256:4d57b214bbcad7efdcd4062daa743c7e6f9652e3008b403b92ccaeba5a52e6cb
|
|
|
import-graph
Expired
|
275 KB |
sha256:8a52a9797084a63ab1d519abd525761cd20e1d3462bd09aa9dc81a34f0ad4cfe
|
|