Automatic publication of coq-iris.dev.2018-10-05.3.18729ff5

7 jobs for master in 18 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
failed build #18596

00:00:18

 
  Test
skipped code_quality #18598
allowed to fail
skipped container_scanning #18602
allowed to fail
skipped dependency_scanning #18601
allowed to fail
skipped license_management #18599
allowed to fail
skipped sast #18600
allowed to fail
skipped test #18597
 
Name Stage Failure
failed
build Build There is an unknown failure, please try again
Skipping Git submodules setup
$ # Auto DevOps variables and functions # collapsed multi-line command
$ setup_docker
$ build
Logging to GitLab Container Registry with CI credentials...
WARNING! Using --password via the CLI is insecure. Use --password-stdin.
Warning: failed to get default registry endpoint from daemon (Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running?). Using system default: https://index.docker.io/v1/
Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running?
ERROR: Job failed: exit code 1