Bump rupicola from 7858221 to 00778a5
#4880
Triggered via pull request
March 13, 2025 09:58
dependabot[bot]
Status
Failure
Total duration
4h 34m 27s
Artifacts
1
coq-windows.yml
on: pull_request
Annotations
2 errors
|
windows
Process completed with exit code 1.
|
|
windows-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
timing-files-windows
|
289 KB |
sha256:6828f003ca5559af610d6e20343405a371e0bb7495c7124f5aae2f0903656742
|
|