Update Batteries branch for testing https://github.com/leanprover-com… #6746
mathlib-nightly-testing[bot]build.yml
on: push
ci
/
Build
53m 45s
ci
/
Lint style
2m 2s
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
|
383 MB |
sha256:8525805ab71641be80880e35e8a241650306206ad93cb003d26d6e2e88c0bf2f
|
|
|
import-graph
|
275 KB |
sha256:06613f630043b91a138a5fc6303c566fe4e5644f8088614ec2091f1c73ed5715
|
|