Pipeline · concordium / smart-contract-interactions

Attempts with PackedCursorList

3 jobs for packed-cursor-list-things in 1 minute and 48 seconds (queued for 1 second)

Status	Job ID	Name
Build
failed	#84628 au	coq:8.8	00:00:11 May 01, 2019
failed	#84629 au	coq:8.9	00:00:11 May 01, 2019
failed	#84630 au	coq:dev	00:01:36 May 01, 2019

	Name	Stage
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