Add packaging for standalone files #3866
Triggered via pull request
November 10, 2023 05:02
JasonGross
Status
Cancelled
Total duration
12m 5s
Artifacts
–
Annotations
1 error
|
build-windows
Canceling since a higher priority waiting request for 'CI (Coq, Windows)-standalone-package' exists
|