Bump rupicola from 7858221 to 00778a5
#1240
Triggered via pull request
March 13, 2025 09:58
dependabot[bot]
Status
Failure
Total duration
5h 31m 40s
Artifacts
5
coq-debian.yml
on: pull_request
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
debian-check-all
2s
Annotations
2 errors
|
debian-sid
Process completed with exit code 2.
|
|
debian-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-sid
|
6.29 KB |
sha256:72d37fbea4c18d6133f8161e4670e46f85f5e8fec45e7abd2882c88b8713532c
|
|
|
ExtractionJsOfOCaml-sid
|
751 Bytes |
sha256:5005ea0495bbbcf2fda8ba1af11a5d542bb883062a3f1066af55163f48e3927e
|
|
|
ExtractionOCaml-sid
|
5.86 KB |
sha256:5e3127146e5efb67e244d84714ac06ba080ac7eb930c1e5ac4083c71ebf1d8d0
|
|
|
generated-files-sid
|
4.89 MB |
sha256:c32609cf2d37eb0ad190cc7cab8a6d547499c49b4191c73210b875ed207155c7
|
|
|
timing-files-sid
|
259 KB |
sha256:8a48c24245ed647348050cc93da74d4428061cd6bed66a2826e848c82cea82e6
|
|