[sp2019latest] User docker for master test #4237
Triggered via pull request
November 1, 2023 02:31
JasonGross
Status
Cancelled
Total duration
14m 47s
Artifacts
–
Annotations
5 errors
|
8.17.1
Canceling since a higher priority waiting request for 'CI (Coq)-8.17.1-sp2019latest+docker' exists
|
|
8.17.1
The operation was canceled.
|
|
8.16.1
Canceling since a higher priority waiting request for 'CI (Coq)-8.16.1-sp2019latest+docker' exists
|
|
8.16.1
The operation was canceled.
|
|
check-all
Process completed with exit code 1.
|