Merge branch 'issue/neumann_example' into 'master'

reduct compile time in neumann example

See merge request !191
4 jobs for master in 14 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
failed #19492
dune-2.6

00:00:10

failed #19493
dune-2.7

00:00:09

failed #19494
dune-git

00:00:13

failed #19495
dune-git-full

00:00:13

 
Name Stage Failure
failed
dune-git-full Test There has been a runner system failure, please try again
Using Docker executor with image registry.dune-project.org/docker/ci/dune-pdelab-deps:git-debian-10-gcc-8-17 ...
Pulling docker image registry.dune-project.org/docker/ci/dune-pdelab-deps:git-debian-10-gcc-8-17 ...
ERROR: Preparation failed: Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (docker.go:119:0s)
Will be retried in 3s ...
Using Docker executor with image registry.dune-project.org/docker/ci/dune-pdelab-deps:git-debian-10-gcc-8-17 ...
Pulling docker image registry.dune-project.org/docker/ci/dune-pdelab-deps:git-debian-10-gcc-8-17 ...
ERROR: Preparation failed: Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (docker.go:119:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (docker.go:119:0s)
failed
dune-git 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 (docker.go:119: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 (docker.go:119:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: received unexpected HTTP status: 502 Bad Gateway (docker.go:119:0s)
failed
dune-2.7 Test There has been a runner system failure, please try again
Using Docker executor with image registry.dune-project.org/docker/ci/dune:2.7-debian-10-gcc-8-17 ...
Pulling docker image registry.dune-project.org/docker/ci/dune:2.7-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:2.7-debian-10-gcc-8-17 ...
Pulling docker image registry.dune-project.org/docker/ci/dune:2.7-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-2.6 Test There has been a runner system failure, please try again
Using Docker executor with image registry.dune-project.org/docker/ci/dune:2.6-debian-10-gcc-8-17 ...
Pulling docker image registry.dune-project.org/docker/ci/dune:2.6-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:2.6-debian-10-gcc-8-17 ...
Pulling docker image registry.dune-project.org/docker/ci/dune:2.6-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)