Consistently use `Recv`.

1 job for master in 9 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
failed #60265
fp
build-coq.8.10.1

00:00:09

 
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)