Skip to content
CI (Coq, Windows)

Parse various directives starting with . in intel syntax #4782

Sign in to view logs

Parse various directives starting with . in intel syntax

Parse various directives starting with . in intel syntax #4782

Triggered via pull request March 5, 2025 06:33
@JasonGrossJasonGross
synchronize #2030
JasonGross:parse-directives
Status Cancelled
Total duration 2h 55m 55s
Artifacts –

coq-windows.yml

on: pull_request
windows
54s
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
2s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

2 errors
windows
Canceling since a higher priority waiting request for CI (Coq, Windows)-parse-directives exists
windows-check-all
Process completed with exit code 1.