Use more 'auto'

3 jobs from master in 9 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
failed #25170
dune:git clang C++17

00:00:09

failed #25172
dune:git gcc-6 C++14

00:00:09

failed #25171
dune:git gcc-8 C++17

00:00:09

 
Name Stage Failure
failed
dune:git gcc-6 C++14 Test There has been a runner system failure, please try again
Using Docker executor with image registry.dune-project.org/docker/ci/dune:git-debian-9-gcc-6-14 ...
Pulling docker image registry.dune-project.org/docker/ci/dune:git-debian-9-gcc-6-14 ...
ERROR: Preparation failed: Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (executor_docker.go:168:0s)
Will be retried in 3s ...
Using Docker executor with image registry.dune-project.org/docker/ci/dune:git-debian-9-gcc-6-14 ...
Pulling docker image registry.dune-project.org/docker/ci/dune:git-debian-9-gcc-6-14 ...
ERROR: Preparation failed: Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (executor_docker.go:168:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (executor_docker.go:168:0s)
failed
dune:git gcc-8 C++17 Test There has been a runner system failure, please try again
Using Docker executor with image registry.dune-project.org/docker/ci/dune:git-debian-10-gcc-8-17 ...
Pulling docker image registry.dune-project.org/docker/ci/dune:git-debian-10-gcc-8-17 ...
ERROR: Preparation failed: Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (executor_docker.go:168:0s)
Will be retried in 3s ...
Using Docker executor with image registry.dune-project.org/docker/ci/dune:git-debian-10-gcc-8-17 ...
Pulling docker image registry.dune-project.org/docker/ci/dune:git-debian-10-gcc-8-17 ...
ERROR: Preparation failed: Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (executor_docker.go:168:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (executor_docker.go:168:0s)
failed
dune:git clang C++17 Test There has been a runner system failure, please try again
Using Docker executor with image registry.dune-project.org/docker/ci/dune:git-debian-10-clang-6-libcpp-17 ...
Pulling docker image registry.dune-project.org/docker/ci/dune:git-debian-10-clang-6-libcpp-17 ...
ERROR: Preparation failed: Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (executor_docker.go:168:0s)
Will be retried in 3s ...
Using Docker executor with image registry.dune-project.org/docker/ci/dune:git-debian-10-clang-6-libcpp-17 ...
Pulling docker image registry.dune-project.org/docker/ci/dune:git-debian-10-clang-6-libcpp-17 ...
ERROR: Preparation failed: Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (executor_docker.go:168:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (executor_docker.go:168:0s)