Bump rupicola from 7858221 to e5546cf
#1217
Triggered via pull request
March 12, 2025 11:45
dependabot[bot]
Status
Failure
Total duration
3h 25m 51s
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:9b62583f903f3342e7bf1ff46733dc0ff6a86c5e27f9c700380d5a85a2571283
|
|
|
ExtractionJsOfOCaml-sid
|
751 Bytes |
sha256:24c7d9e69b20d0b1d021bfbfd21da4a8003d35c700fedf2c52a53c5aa3aa5dc2
|
|
|
ExtractionOCaml-sid
|
5.86 KB |
sha256:37162b832b117ea9bf97e3bfff30aed70627935ff30723bb730376c91738c1c8
|
|
|
generated-files-sid
|
4.87 MB |
sha256:cf4b137bf36a209baf541c5b907160c886c542ae406755bb0ff146550ea4e547
|
|
|
timing-files-sid
|
260 KB |
sha256:bca37cb5e7bc1a08135c9249d90e65507907c98a4e44010f9e4c0cfb7aebce77
|
|