Fixed first bug for step into proof tree, still not working properly yet

6 jobs for master in 10 minutes and 27 seconds (queued for 1 second)
Status Job ID Name Coverage
  Setup
passed #25429
setup

00:00:45

 
  Build
passed #25430
build

00:01:17

 
  Test
passed #25431
test

00:01:34

 
  Deploy
failed #25432
allowed to fail
deploy

00:03:01

failed #25434
allowed to fail
site

00:03:06

failed #25433
allowed to fail
sonar

00:00:41

 
Name Stage Failure
failed
site Deploy There is an unknown failure, please try again
6540 [INFO] ------------------------------------------------------------------------
6544 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-site-plugin:3.3:site (default-cli) on project psdbg: failed to get report for org.apache.maven.plugins:maven-javadoc-plugin: Failed to execute goal on project matcher: Could not resolve dependencies for project edu.kit.iti.formal.psdbg:matcher:jar:0.1-SNAPSHOT: Could not find artifact edu.kit.iti.formal.psdbg:keydeps:jar:1.0 in central (https://repo.maven.apache.org/maven2) -> [Help 1]
6544 [ERROR]
6545 [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
6545 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
6545 [ERROR]
6546 [ERROR] For more information about the errors and possible solutions, please read the following articles:
6546 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
ERROR: Job failed: exit code 1
failed
sonar Deploy There is an unknown failure, please try again
Running with gitlab-ci-multi-runner 9.4.2 (6d06f2e)
on hoare@bw-cloud (e9911ae2)
Using Docker executor with image key-ant-openjdk-8:latest ...
Using docker image sha256:e0d7f1f0d26e35bee4d8c0860c42e89463ae2320de51bc50d0a26540850a703e for predefined container...
Using locally found image version due to if-not-present pull policy
Using docker image key-ant-openjdk-8:latest ID=sha256:91ebff51dc0fc59e759bda7318b03146ec88426a3915291e0816fad025f3d0c2 for build container...
ERROR: Job failed (system failure): Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running?
failed
deploy Deploy There is an unknown failure, please try again
Removing rt-key/target/
Removing rt/target/
Removing ui/target/
HEAD is now at 96e4105 Fixed first bug for step into proof tree, still not working properly yet
Checking out 96e41055 as master...
Skipping Git submodules setup
Checking cache for default...
Successfully extracted cache
ERROR: Job failed (system failure): Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running?