Skip to content
Back to pull request #2012

Upload *.timing files on failure #4707

Sign in to view logs

Upload *.timing files on failure

Upload *.timing files on failure #4707

Triggered via pull request February 5, 2025 23:23
@JasonGrossJasonGross
synchronize #2012
JasonGross:upload-timing-files
Status Cancelled
Total duration 2h 2m 23s
Artifacts –

coq-windows.yml

on: pull_request
windows
15m 32s
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
The run was canceled by @JasonGross.
windows
The operation was canceled.
windows-check-all
Process completed with exit code 1.