Drop CI testing of 8.16 #3879
Triggered via pull request
November 9, 2023 06:07
JasonGross
Status
Cancelled
Total duration
22m 17s
Artifacts
–
Annotations
1 error
|
build-macos
Canceling since a higher priority waiting request for 'CI (Coq, MacOS)-drop-8.16' exists
|