search

coq-community / docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
https://hub.docker.com/r/coqorg/coq/
BSD 3-Clause "New" or "Revised" License
37 stars 3 forks source link

Issues with coq-docker based CI since today #44

Closed MSoegtropIMC closed 2 years ago

MSoegtropIMC commented 2 years ago

Dear docker-coq Team,

since today we are getting in VST CI this error about the download of the debian base image:

2022-03-07T12:52:09.9644526Z Step 1/3 : FROM samueldebruyn/debian-git@sha256:6fda212f1f62ba382143c797d771dee1f4aa505520c277195de5536f2926309f
2022-03-07T12:52:10.0776585Z pull access denied for samueldebruyn/debian-git, repository does not exist or may require 'docker login': denied: requested access to the resource is denied
2022-03-07T12:52:10.0799707Z ##[warning]Docker build failed with exit code 1, back off 5.966 seconds before retry.
2022-03-07T12:52:16.0472437Z ##[command]/usr/bin/docker build -t 29a95e:708aac7d1e4e4619be905e3066757165 -f "/home/runner/work/_actions/textbook/git-checkout-submodule-action/2.1.1/Dockerfile" "/home/runner/work/_actions/textbook/git-checkout-submodule-action/2.1.1"
2022-03-07T12:52:16.0773999Z Sending build context to Docker daemon  7.168kB

I must say I don't understand how it comes to this and where the debian image is coded. Shouldn't docker-coq depend on (https://hub.docker.com/_/debian/)?

See: https://github.com/PrincetonUniversity/VST/issues/550

erikmd commented 2 years ago

Closing this docker-coq issue, cf. https://github.com/coq-community/docker-coq-action/issues/71