Update lean-toolchain for https://github.com/leanprover/lean4/pull/12490 #6738
mathlib-nightly-testing[bot]build.yml
on: push
ci
/
Build
55m 42s
ci
/
Lint style
2m 0s
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 | |
|---|---|---|---|
|
import-graph
|
273 KB |
sha256:334b8dcebbebf004457887c20d28be97b3cb3ebd886a54f987353a88120fd131
|
|