Merge master into nightly-testing #6722
mathlib-nightly-testing[bot]build.yml
on: push
ci
/
Build
4m 23s
ci
/
Lint style
1m 53s
ci
/
Post-CI job
0s
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
|