[sp2019latest] User docker for master test #4234
Annotations
7 errors
master
Canceling since a higher priority waiting request for 'CI (Coq)-master-sp2019latest+docker' exists
|
master
The operation was canceled.
|
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.
|