Skip to content
CI (Coq, Arch Linux)

Upload *.timing files on failure #483

Sign in to view logs

Upload *.timing files on failure

Upload *.timing files on failure #483

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

coq-archlinux.yml

on: pull_request
archlinux
8m 12s
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:41010f68a5f295f96307084f0b3dd942b829a312797086375e2268594cfed159
ExtractionOCaml-archlinux
5.86 KB
sha256:187d2a17c13d5a83d4ff46988a927b5b4212be321d71163ddf3345a586fc2119