Drop CI testing of 8.16 #3839
Triggered via pull request
November 8, 2023 23:51
JasonGross
Status
Cancelled
Total duration
1m 33s
Artifacts
–
Annotations
2 errors
|
build-windows
Canceling since a higher priority waiting request for 'CI (Coq, Windows)-drop-8.16' exists
|
|
build-windows
The operation was canceled.
|