fix #6739
kim-embuild.yml
on: push
ci
/
Build
7m 26s
ci
/
Lint style
1m 52s
ci
/
Post-CI job
0s
Annotations
5 errors and 1 warning
|
ci / Build
Canceling since a higher priority waiting request for continuous integration-refs/heads/nightly-testing- exists
|
|
ci / Build
The operation was canceled.
|
|
ci / Build
Process completed with exit code 3.
|
|
continuous integration
Canceling since a higher priority waiting request for continuous integration-refs/heads/nightly-testing- exists
|
|
continuous integration
Canceling since a higher priority waiting request for continuous integration-refs/heads/nightly-testing- exists
|
|
ci / Build
Cache directory does not exist: /home/lean/.cache/mathlib
|