Pipeline · Iris / Actris

Consistently use `Recv`.

1 job for master in 9 seconds (queued for 1 second)

12dc9a35

Status	Job ID	Name
Build
failed	#60265 fp	build-coq.8.10.1	00:00:09 Mar 25, 2020

Status

Job ID

Name

Coverage

Build

#60265

build-coq.8.10.1

00:00:09

Mar 25, 2020

Name Stage Failure

	Name	Stage	Failure
failed	build-coq.8.10.1	Build	There has been a runner system failure, please try again
	Using Docker executor with image ralfjung/opam-ci:opam2 ... Pulling docker image ralfjung/opam-ci:opam2 ... ERROR: Preparation failed: Error response from daemon: Get https://registry-1.docker.io/v2/: dial tcp: lookup registry-1.docker.io on 127.0.0.1:53: server misbehaving (executor_docker.go:188:0s) Will be retried in 3s ... Using Docker executor with image ralfjung/opam-ci:opam2 ... Pulling docker image ralfjung/opam-ci:opam2 ... ERROR: Preparation failed: Error response from daemon: Get https://registry-1.docker.io/v2/: dial tcp: lookup registry-1.docker.io on 127.0.0.1:53: server misbehaving (executor_docker.go:188:0s) Will be retried in 3s ... ERROR: Job failed (system failure): Error response from daemon: Get https://registry-1.docker.io/v2/: dial tcp: lookup registry-1.docker.io on 127.0.0.1:53: server misbehaving (executor_docker.go:188:0s)

failed

build-coq.8.10.1

Build

There has been a runner system failure, please try again

Using Docker executor with image ralfjung/opam-ci:opam2 ...
Pulling docker image ralfjung/opam-ci:opam2 ...
ERROR: Preparation failed: Error response from daemon: Get https://registry-1.docker.io/v2/: dial tcp: lookup registry-1.docker.io on 127.0.0.1:53: server misbehaving (executor_docker.go:188:0s)
Will be retried in 3s ...
Using Docker executor with image ralfjung/opam-ci:opam2 ...
Pulling docker image ralfjung/opam-ci:opam2 ...
ERROR: Preparation failed: Error response from daemon: Get https://registry-1.docker.io/v2/: dial tcp: lookup registry-1.docker.io on 127.0.0.1:53: server misbehaving (executor_docker.go:188:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: Get https://registry-1.docker.io/v2/: dial tcp: lookup registry-1.docker.io on 127.0.0.1:53: server misbehaving (executor_docker.go:188:0s)