Skip to content

Bump rupicola from 7858221 to e5546cf #634

Bump rupicola from 7858221 to e5546cf

Bump rupicola from 7858221 to e5546cf #634

Triggered via pull request March 12, 2025 11:45
Status Failure
Total duration 2h 26m 15s
Artifacts 4

coq-archlinux.yml

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

Annotations

2 errors
archlinux
Process completed with exit code 2.
archlinux-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-archlinux
6.29 KB
sha256:69bf8124642554e61ea5c7289b7c13b9a09ad9683f567f39cb3ec8a2e3e70a8e
ExtractionOCaml-archlinux
5.86 KB
sha256:c8eab71b352dfb15875e9333fd6cd6c9d250df6aac175c310ebfd76b3dd76e52
generated-files-archlinux
4.88 MB
sha256:36685c1fbd444c5f8b9a7663578412531c33d426a7b3247e7a4cd0861773e395
timing-files-archlinux
259 KB
sha256:998156184bc72f9dfb75c8a4d2e32c0efef9dba15680200d98049dce22179587