Bump rupicola from 7858221 to 00778a5
#657
Triggered via pull request
March 13, 2025 09:58
dependabot[bot]
Status
Failure
Total duration
4h 34m 14s
Artifacts
4
coq-archlinux.yml
on: pull_request
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:094bb5ecb0aa920720ef1e8270b3acdb0691ab7664acd8b9a0829c267ca657db
|
|
|
ExtractionOCaml-archlinux
|
5.86 KB |
sha256:2cb464306f1f6497d5ee39d52c3d4c1777bd0667bcfbd8068150d45670909875
|
|
|
generated-files-archlinux
|
4.87 MB |
sha256:c90ddab1f04fbf4771ac6f42bd2af07f1d8bd5d65feb5b75a47e637035ffc56c
|
|
|
timing-files-archlinux
|
260 KB |
sha256:f579763d6678b7ad0136da8430f5526900c363a86590b4e8f395c459b1e18ee1
|
|