bugfix

3 jobs for master in 9 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
failed #7053
build

00:00:09

 
  Test
skipped #7055
allowed to fail
code_quality
skipped #7054
test
 
Name Stage Failure
failed
build Build There has been a runner system failure, please try again
- duneci/*
- docker.io/duneci/*
- mathiwr/*
- registry.dune-project.org/docker/ci/*

Please check runner's configuration: http://doc.gitlab.com/ci/docker/using_docker_images.html#overwrite-image-and-services
ERROR: Preparation failed: invalid image
Will be retried in 3s ...
ERROR: Job failed (system failure): invalid image