Trigger CI for https://github.com/leanprover-community/batteries/pull… #160705
leanprover-community-mathlib4-botAnnotations
4 errors
|
Lint style
Canceling since a higher priority waiting request for 'continuous integration-refs/heads/batteries-pr-testing-1104. ' exists
|
|
Lint style
The operation was canceled.
|
|
Build
Canceling since a higher priority waiting request for 'continuous integration-refs/heads/batteries-pr-testing-1104. ' exists
|
|
Build
The operation was canceled.
|