pom update

3 jobs for master in 3 minutes and 49 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
failed build #13764

00:01:02

failed deploy #13766

00:01:42

failed test #13765

00:01:04

 
Name Stage Failure
failed
deploy Test There is an unknown failure, please try again
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal on project proofscriptparser: Could not resolve dependencies for project edu.kit.formal:proofscriptparser:jar:1.0-SNAPSHOT: The following artifacts could not be resolved: org.key-project:key.core:jar:2.7, org.key-project:recoderKey:jar:1.0.0: Could not find artifact org.key-project:key.core:jar:2.7 in central (https://repo.maven.apache.org/maven2) -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/DependencyResolutionException
ERROR: Job failed: exit code 1
failed
test Test There is an unknown failure, please try again
Using docker image sha256:ff9c3df374b3a8390e5373e55ee53a8cfe87240926146e83e6d03c16a6516bb8 for predefined container...
Pulling docker image maven:3.5.0-jdk-8 ...
Using docker image maven:3.5.0-jdk-8 ID=sha256:66091267e43d9d20e7bd8c215370b5a6977c937306924fabe28de0c8045fab91 for build container...
Running on runner-8a640e7c-project-2683-concurrent-0 via hoare.novalocal...
Fetching changes...
HEAD is now at c9e35fd pom update
Checking out c9e35fde as master...
Skipping Git submodules setup
ERROR: Job failed (system failure): Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running?
failed
build Test There is an unknown failure, please try again
Running on runner-8a640e7c-project-2683-concurrent-0 via hoare.novalocal...
Fetching changes...
Removing .m2/
HEAD is now at b6aaae2 jars
From https://git.scc.kit.edu/xt9634/ProofScriptParser
b6aaae2..c9e35fd master -> origin/master
Checking out c9e35fde as master...
Skipping Git submodules setup
ERROR: Job failed (system failure): Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running?