Update lean-toolchain for https://github.com/leanprover/lean4/pull/12481 #7048
Annotations
1 error and 1 warning
|
get cache (2/3 - test Mathlib.Init cache)
Process completed with exit code 3.
|
|
cleanup .cache/mathlib
Cache directory does not exist: /home/lean/.cache/mathlib
|
Loading