Attempts with PackedCursorList

3 jobs for packed-cursor-list-things in 1 minute and 48 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
failed #84628
au
coq:8.8

00:00:11

failed #84629
au
coq:8.9

00:00:11

failed #84630
au
coq:dev

00:01:36

 
Name Stage Failure
failed
coq:dev Build
  on au-runner2 7ae4f001
Using Docker executor with image coqorg/coq:dev ...
Pulling docker image coqorg/coq:dev ...
Using docker image sha256:11e35a12e89097162e302c336ec11c8e580bf37333f49c8dedd3e6b97bfd0eb8 for coqorg/coq:dev ...
Running on runner-7ae4f001-project-2289-concurrent-0 via gitrunning02.uni.au.dk...
Reinitialized existing Git repository in /builds/jakobbotsch/smart-contracts/.git/
Fetching changes...
fatal: unable to access 'https://gitlab-ci-token:xxxxxxxxxxxxxxxxxxxx@gitlab.au.dk/jakobbotsch/smart-contracts.git/': Could not resolve host: gitlab.au.dk
ERROR: Job failed: exit code 1
failed
coq:8.9 Build
  on au-runner1 54aab88d
Using Docker executor with image coqorg/coq:8.9 ...
Pulling docker image coqorg/coq:8.9 ...
Using docker image sha256:fd1833043684d796310813ac6a5f03217f9933c3f3a96aa85d739d311163bc0c for coqorg/coq:8.9 ...
Running on runner-54aab88d-project-2289-concurrent-0 via gitrunning01.uni.au.dk...
Reinitialized existing Git repository in /builds/jakobbotsch/smart-contracts/.git/
Fetching changes...
fatal: unable to access 'https://gitlab-ci-token:xxxxxxxxxxxxxxxxxxxx@gitlab.au.dk/jakobbotsch/smart-contracts.git/': Could not resolve host: gitlab.au.dk
ERROR: Job failed: exit code 1
failed
coq:8.8 Build
  on au-runner2 7ae4f001
Using Docker executor with image coqorg/coq:8.8 ...
Pulling docker image coqorg/coq:8.8 ...
Using docker image sha256:0b0fc53c632f400207afd4497c7e6740b8ff43ec765f8636b6e88b50d530b9aa for coqorg/coq:8.8 ...
Running on runner-7ae4f001-project-2289-concurrent-0 via gitrunning02.uni.au.dk...
Reinitialized existing Git repository in /builds/jakobbotsch/smart-contracts/.git/
Fetching changes...
fatal: unable to access 'https://gitlab-ci-token:xxxxxxxxxxxxxxxxxxxx@gitlab.au.dk/jakobbotsch/smart-contracts.git/': Could not resolve host: gitlab.au.dk
ERROR: Job failed: exit code 1