Skip to content

[sp2019latest] User docker for master test #4235

[sp2019latest] User docker for master test

[sp2019latest] User docker for master test #4235

Triggered via pull request November 1, 2023 00:48
Status Cancelled
Total duration 1h 10m 54s
Artifacts

coq.yml

on: pull_request
Matrix: build
check-all
0s
check-all
Fit to window
Zoom out
Zoom in

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.