Update lean-toolchain for testing https://github.com/leanprover/lean4… #7237
mathlib-nightly-testing[bot]build.yml
on: push
ci
/
Build
51m 57s
ci
/
Lint style
1m 59s
ci
/
Post-CI job
7s
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
|
366 MB |
sha256:6a78bee5b8fe6b246116e3d7b8e216d72568d8c0d644a0dcfba8320d5f9a2adf
|
|
|
import-graph
Expired
|
278 KB |
sha256:4d91cb0f8d11508955eccacc4c4443d9b8bf293eaad0a9afb2c06e909da2d9e6
|
|