Skip to content
CI (Coq, Windows)

Parse label-based addressing #4776

Sign in to view logs

Parse label-based addressing

Parse label-based addressing #4776

Triggered via pull request March 5, 2025 04:49
@JasonGrossJasonGross
opened #2028
JasonGross:parse-labels
Status Cancelled
Total duration 3h 8m 59s
Artifacts –

coq-windows.yml

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

Annotations

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