Update lean-toolchain for testing https://github.com/leanprover/lean4… #6726
mathlib-nightly-testing[bot]build.yml
on: push
ci
/
Build
5m 42s
ci
/
Lint style
1m 56s
ci
/
Post-CI job
Annotations
5 errors and 1 warning
|
ci / Build
Process completed with exit code 1.
|
|
ci / Build
`List.reverse_singleton` has already been declared
|
|
ci / Build
Process completed with exit code 1.
|
|
ci / Build
`List.reverse_singleton` has already been declared
|
|
ci / Build
Process completed with exit code 3.
|
|
ci / Build
Cache directory does not exist: /home/lean/.cache/mathlib
|