Bump etc/coq-scripts from 8b66ebe to 2df5dbe
#147
Triggered via pull request
October 6, 2023 20:46
dependabot[bot]
Status
Cancelled
Total duration
18m 36s
Artifacts
–
docker-coq.yml
on: pull_request
Matrix: build
check-all-docker
2s
Annotations
5 errors
|
8.16
Canceling since a higher priority waiting request for 'CI (Coq, docker)-8.16-dependabot/submodules/etc/coq-scripts-2df5dbe' exists
|
|
8.17
Canceling since a higher priority waiting request for 'CI (Coq, docker)-8.17-dependabot/submodules/etc/coq-scripts-2df5dbe' exists
|
|
8.18
Canceling since a higher priority waiting request for 'CI (Coq, docker)-8.18-dependabot/submodules/etc/coq-scripts-2df5dbe' exists
|
|
dev
Canceling since a higher priority waiting request for 'CI (Coq, docker)-dev-dependabot/submodules/etc/coq-scripts-2df5dbe' exists
|
|
check-all-docker
Process completed with exit code 1.
|