Merge branch 'bucket_colouring' into 'master'

Bucket colouring

See merge request !99
3 jobs for master in 11 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Test
failed #181820
nvidia docker pps
pacxx-cuda

00:00:10

failed #181819
x86_64 docker pps
pacxx-norv

00:00:10

failed #181818
x86_64 docker pps allowed to fail
pacxx-rv

00:00:10

 
Name Stage Failure
failed
pacxx-cuda Test There has been a runner system failure, please try again
Using Docker executor with image registry.dune-project.org/joe/pacxx-docker:pacxx-cuda.master ...
Pulling docker image registry.dune-project.org/joe/pacxx-docker:pacxx-cuda.master ...
ERROR: Preparation failed: Error response from daemon: Get https://registry.dune-project.org/v2/joe/pacxx-docker/manifests/pacxx-cuda.master: denied: access forbidden (executor_docker.go:192:0s)
Will be retried in 3s ...
Using Docker executor with image registry.dune-project.org/joe/pacxx-docker:pacxx-cuda.master ...
Pulling docker image registry.dune-project.org/joe/pacxx-docker:pacxx-cuda.master ...
ERROR: Preparation failed: Error response from daemon: Get https://registry.dune-project.org/v2/joe/pacxx-docker/manifests/pacxx-cuda.master: denied: access forbidden (executor_docker.go:192:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: Get https://registry.dune-project.org/v2/joe/pacxx-docker/manifests/pacxx-cuda.master: denied: access forbidden (executor_docker.go:192:0s)
failed
pacxx-norv Test There has been a runner system failure, please try again
Using Docker executor with image registry.dune-project.org/joe/pacxx-docker:pacxx-native.master ...
Pulling docker image registry.dune-project.org/joe/pacxx-docker:pacxx-native.master ...
ERROR: Preparation failed: Error response from daemon: Get https://registry.dune-project.org/v2/joe/pacxx-docker/manifests/pacxx-native.master: denied: access forbidden (executor_docker.go:192:0s)
Will be retried in 3s ...
Using Docker executor with image registry.dune-project.org/joe/pacxx-docker:pacxx-native.master ...
Pulling docker image registry.dune-project.org/joe/pacxx-docker:pacxx-native.master ...
ERROR: Preparation failed: Error response from daemon: Get https://registry.dune-project.org/v2/joe/pacxx-docker/manifests/pacxx-native.master: denied: access forbidden (executor_docker.go:192:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: Get https://registry.dune-project.org/v2/joe/pacxx-docker/manifests/pacxx-native.master: denied: access forbidden (executor_docker.go:192:0s)
failed
pacxx-rv Test There has been a runner system failure, please try again
Using Docker executor with image registry.dune-project.org/joe/pacxx-docker:pacxx-native.master ...
Pulling docker image registry.dune-project.org/joe/pacxx-docker:pacxx-native.master ...
ERROR: Preparation failed: Error response from daemon: Get https://registry.dune-project.org/v2/joe/pacxx-docker/manifests/pacxx-native.master: denied: access forbidden (executor_docker.go:192:0s)
Will be retried in 3s ...
Using Docker executor with image registry.dune-project.org/joe/pacxx-docker:pacxx-native.master ...
Pulling docker image registry.dune-project.org/joe/pacxx-docker:pacxx-native.master ...
ERROR: Preparation failed: Error response from daemon: Get https://registry.dune-project.org/v2/joe/pacxx-docker/manifests/pacxx-native.master: denied: access forbidden (executor_docker.go:192:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: Get https://registry.dune-project.org/v2/joe/pacxx-docker/manifests/pacxx-native.master: denied: access forbidden (executor_docker.go:192:0s)