Skip to content
CI (Coq, Windows)

Upload standalone binaries to release pages #3871

Sign in to view logs

Upload standalone binaries to release pages

Upload standalone binaries to release pages #3871

Triggered via pull request November 10, 2023 05:15
@JasonGrossJasonGross
synchronize #1711
JasonGross:standalone-package-extra
Status Cancelled
Total duration 1m 37s
Artifacts –

coq-windows.yml

on: pull_request
build-windows
0s
build-windows
test-standalone-windows
0s
test-standalone-windows
publish-standalone
0s
publish-standalone
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-windows
Canceling since a higher priority waiting request for 'CI (Coq, Windows)-standalone-package-extra' exists