Pipeline · sarah.grebing / ProofScriptParser

Merge branch 'master' into 'gradle'

Recent changes into new build infrastructure

See merge request !10

6 jobs for gradle in 0 seconds (queued for 2 seconds)

8e7a29bf

Status	Job ID	Name
Setup
failed	#29138	setup	00:00:00 Feb 12, 2018

Build
skipped	#29139	build

Test
skipped	#29140	test

Deploy
skipped	#29141 allowed to fail	deploy
skipped	#29143 allowed to fail	site
skipped	#29142 allowed to fail	sonar

Name Stage Failure

	Name	Stage	Failure
failed	setup	Setup	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): Error response from daemon: grpc: the connection is unavailable

failed

setup

Setup

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): Error response from daemon: grpc: the connection is unavailable