Update lean-toolchain for https://github.com/leanprover/lean4/pull/12481 #7043
mathlib-nightly-testing[bot]build.yml
on: push
ci
/
Build
51m 15s
ci
/
Lint style
1m 55s
ci
/
Post-CI job
5s
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:a1b2ec550e84f3dc67cc6692caa263818bb7694b6ffe17236e8979092f857792
|
|
|
import-graph
Expired
|
275 KB |
sha256:9bda64b34f12541606a42f862bfc7ec8bc813dda1dae6deec7b86cb2db27fe57
|
|