CI failing at docker-container build

[andrew-appel]

The Continuous Integration is failing at the first step, building a Docker container.
Restarting the CI gives the same result again.

https://github.com/PrincetonUniversity/VST/runs/5440552516
https://github.com/PrincetonUniversity/VST/actions/runs/1942231588

2022-03-07T12:51:59.7673667Z Requested labels: ubuntu-latest
2022-03-07T12:51:59.7673719Z Job defined at: PrincetonUniversity/VST/.github/workflows/coq-action.yml@refs/pull/549/merge
2022-03-07T12:51:59.7673748Z Waiting for a runner to pick up this job...
2022-03-07T12:52:01.4469523Z Job is waiting for a hosted runner to come online.
2022-03-07T12:52:05.4252218Z Job is about to start running on the hosted runner: GitHub Actions 4 (hosted)
2022-03-07T12:52:08.6048089Z Current runner version: '2.288.1'
2022-03-07T12:52:08.6072101Z ##[group]Operating System
2022-03-07T12:52:08.6072600Z Ubuntu
2022-03-07T12:52:08.6072828Z 20.04.4
2022-03-07T12:52:08.6073105Z LTS
2022-03-07T12:52:08.6073337Z ##[endgroup]
2022-03-07T12:52:08.6073742Z ##[group]Virtual Environment
2022-03-07T12:52:08.6074099Z Environment: ubuntu-20.04
2022-03-07T12:52:08.6074374Z Version: 20220227.1
2022-03-07T12:52:08.6074883Z Included Software: https://github.com/actions/virtual-environments/blob/ubuntu20/20220227.1/images/linux/Ubuntu2004-Readme.md
2022-03-07T12:52:08.6075478Z Image Release: https://github.com/actions/virtual-environments/releases/tag/ubuntu20%2F20220227.1
2022-03-07T12:52:08.6076321Z ##[endgroup]
2022-03-07T12:52:08.6076680Z ##[group]Virtual Environment Provisioner
2022-03-07T12:52:08.6077119Z 1.0.0.0-main-20220225-1
2022-03-07T12:52:08.6077483Z ##[endgroup]
2022-03-07T12:52:08.6078600Z ##[group]GITHUB_TOKEN Permissions
2022-03-07T12:52:08.6079262Z Actions: write
2022-03-07T12:52:08.6079789Z Checks: write
2022-03-07T12:52:08.6080169Z Contents: write
2022-03-07T12:52:08.6080593Z Deployments: write
2022-03-07T12:52:08.6080924Z Discussions: write
2022-03-07T12:52:08.6081304Z Issues: write
2022-03-07T12:52:08.6081606Z Metadata: read
2022-03-07T12:52:08.6081973Z Packages: write
2022-03-07T12:52:08.6082313Z Pages: write
2022-03-07T12:52:08.6082681Z PullRequests: write
2022-03-07T12:52:08.6083053Z RepositoryProjects: write
2022-03-07T12:52:08.6083468Z SecurityEvents: write
2022-03-07T12:52:08.6083849Z Statuses: write
2022-03-07T12:52:08.6084185Z ##[endgroup]
2022-03-07T12:52:08.6088415Z Secret source: Actions
2022-03-07T12:52:08.6088931Z Prepare workflow directory
2022-03-07T12:52:08.6878738Z Prepare all required actions
2022-03-07T12:52:08.7046313Z Getting action download info
2022-03-07T12:52:08.9082219Z Download action repository 'actions/checkout@v2' (SHA:ec3a7ce113134d7a93b817d10a8272cb61118579)
2022-03-07T12:52:09.2205039Z Download action repository 'textbook/[email protected]' (SHA:0cb23c7e6a67085e1dc5e884920bd620f7b9c469)
2022-03-07T12:52:09.3945450Z Download action repository 'coq-community/docker-coq-action@v1' (SHA:6c15ead6c96aaaccf13b1445de2e7570ec5fe218)
2022-03-07T12:52:09.7645093Z ##[group]Build container for action use: '/home/runner/work/_actions/textbook/git-checkout-submodule-action/2.1.1/Dockerfile'.
2022-03-07T12:52:09.7712163Z ##[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:09.9228641Z Sending build context to Docker daemon  7.168kB
2022-03-07T12:52:09.9237997Z 
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
2022-03-07T12:52:16.0774289Z 
2022-03-07T12:52:16.1208326Z Step 1/3 : FROM samueldebruyn/debian-git@sha256:6fda212f1f62ba382143c797d771dee1f4aa505520c277195de5536f2926309f
2022-03-07T12:52:16.2247457Z 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:16.2277390Z ##[warning]Docker build failed with exit code 1, back off 6.978 seconds before retry.
2022-03-07T12:52:23.2075793Z ##[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:23.2369812Z Sending build context to Docker daemon  7.168kB
2022-03-07T12:52:23.2370401Z 
2022-03-07T12:52:23.2787712Z Step 1/3 : FROM samueldebruyn/debian-git@sha256:6fda212f1f62ba382143c797d771dee1f4aa505520c277195de5536f2926309f
2022-03-07T12:52:23.3630006Z 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:23.3647624Z ##[endgroup]
2022-03-07T12:52:23.3731827Z ##[error]Docker build failed with exit code 1
2022-03-07T12:52:23.3925128Z Cleaning up orphan processes

[MSoegtropIMC]

I have seen issues with the debian docker image on which coq-docker is based in the past. I will report an issue there.

[MSoegtropIMC]

@andrew-appel : I would say this is because the branch you tested does have a rather outdated github actions file (older than the one on which I based my changes). See (https://github.com/PrincetonUniversity/VST/tree/weak_core/.github/workflows). Please update the gitgub worflow file in your branch with the latest version.