Bump etc/coq-scripts from 8b66ebe to 2df5dbe
#145
dependabot[bot]docker-coq.yml
on: pull_request
Matrix: build
check-all-docker
2s
Annotations
5 errors
|
build (8.17)
The run was canceled by @JasonGross.
|
|
build (8.16)
The run was canceled by @JasonGross.
|
|
build (dev)
The run was canceled by @JasonGross.
|
|
build (8.18)
The run was canceled by @JasonGross.
|
|
check-all-docker
Process completed with exit code 1.
|