Skip to content
CI (Coq, Windows)

Single Binaries #3966

Sign in to view logs

Single Binaries

Single Binaries #3966

Triggered via pull request November 14, 2023 19:13
@JasonGrossJasonGross
synchronize #1730
JasonGross:single-binary
Status Cancelled
Total duration 5m 2s
Artifacts –

coq-windows.yml

on: pull_request
windows
4m 25s
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
0s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
windows
Canceling since a higher priority waiting request for 'CI (Coq, Windows)-single-binary' exists
windows
The operation was canceled.
windows-check-all
Process completed with exit code 1.