StepBack and StepOver first version (TODO: implement platform runtlater adaptor for visitors)

3 jobs for master in 2 minutes and 37 seconds (queued for 1 second)
Status Name Job ID Coverage
passed build #16093


failed deploy #16095
allowed to fail


failed test #16094


Name Stage Failure
deploy Test There is an unknown failure, please try again
[ERROR] Refer to the generated Javadoc files in '/builds/xt9634/ProofScriptParser/target/apidocs' dir.
[ERROR] -> [Help 1]
[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] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1]
ERROR: Job failed: exit code 1
test Test There is an unknown failure, please try again
Running with gitlab-ci-multi-runner 9.1.1 (6104325)
on hoare@bw-cloud (e9911ae2)
Using Docker executor with image key-ant-openjdk-8:latest ...
Using docker image sha256:ff9c3df374b3a8390e5373e55ee53a8cfe87240926146e83e6d03c16a6516bb8 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:c39c081bcfcefdad02de18ed80d0becb666806f7d953c69914e8968ae76b7389 for build container...
Running on runner-e9911ae2-project-2683-concurrent-0 via hoare.novalocal...
ERROR: Job failed (system failure): Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running?