Skip to content
CI (Coq, Arch Linux)

Upload *.timing files on failure #481

Sign in to view logs

Upload *.timing files on failure

Upload *.timing files on failure #481

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

coq-archlinux.yml

on: pull_request
archlinux
2m 43s
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:b40eba5029652b49743c9df52d222b4db90ae5452868a666845fdae102fdbf3f
ExtractionOCaml-archlinux
5.86 KB
sha256:ac6f91b1a4c46909fe21c5b420a42ac18fbc5de94c7164d84196bbd6e7103f50