Issues with coq-docker based CI since today

[MSoegtropIMC]

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: PrincetonUniversity/VST#550

[erikmd]

Closing this docker-coq issue, cf. coq-community/docker-coq-action#71