Update lean-toolchain for https://github.com/leanprover/lean4/pull/12490 #6737
mathlib-nightly-testing[bot]build.yml
on: push
ci
/
Build
58m 39s
ci
/
Lint style
2m 1s
ci
/
Post-CI job
11s
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 | |
|---|---|---|---|
|
import-graph
|
273 KB |
sha256:f20cb13fd98d01fb94cc32b0757b7b24561ae49904219e4b0979f3a47663d9ed
|
|