Skip to content
CI (Coq, Arch Linux)

Upload *.timing files on failure #482

Sign in to view logs

Upload *.timing files on failure

Upload *.timing files on failure #482

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

coq-archlinux.yml

on: pull_request
archlinux
4m 16s
archlinux
test-standalone
0s
test-standalone
publish-standalone-dry-run
0s
publish-standalone-dry-run
archlinux-check-all
0s
archlinux-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
archlinux
Canceling since a higher priority waiting request for 'CI (Coq, Arch Linux)-archlinux-upload-timing-files' exists
archlinux
The operation was canceled.
archlinux-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-archlinux
6.29 KB
sha256:91bb94399c84e4b8998d49a5377eb0108c7d2343822b14432db1b7348da5c2d3
ExtractionOCaml-archlinux
5.86 KB
sha256:e0cb7905194470c48e3c2d08e92d721aa9ca61d319b05ab5dfa5646dd8eae1df