Update lean-toolchain for https://github.com/leanprover/lean4/pull/10231 #5423
Annotations
11 errors
|
lint mathlib
Process completed with exit code 1.
|
|
lint mathlib
Application type mismatch: The argument
|
|
lint mathlib
unsolved goals
|
|
lint mathlib
unsolved goals
|
|
lint mathlib
unsolved goals
|
|
build mathlib
Process completed with exit code 1.
|
|
build mathlib
Application type mismatch: The argument
|
|
build mathlib
unsolved goals
|
|
build mathlib
unsolved goals
|
|
build mathlib
unsolved goals
|
|
get cache (2/3 - test Mathlib.Init cache)
Process completed with exit code 3.
|
Loading