Bump etc/coq-scripts from 8b66ebe to 2df5dbe
#144
dependabot[bot]docker-coq.yml
on: push
Matrix: build
check-all-docker
4s
Annotations
5 errors
|
build (8.18)
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.17)
The run was canceled by @JasonGross.
|
|
check-all-docker
Process completed with exit code 1.
|