Pipeline · sarah.grebing / ProofScriptParser

Bugfix in Script

5 jobs for master in 5 minutes and 26 seconds

Status	Job ID	Name
Build
passed	#37829	build:jdk10	00:01:16 May 18, 2018
passed	#37830	build:jdk8	00:01:12 May 18, 2018
passed	#37828	build:jdk9	00:01:23 May 18, 2018

Test
failed	#37831 allowed to fail	test	00:00:33 May 18, 2018

Deploy
passed	#37832	deploy	00:01:00 May 18, 2018

Name Stage Failure

	Name	Stage	Failure
failed	test	Test	There is an unknown failure, please try again
	`* Try: Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights. * Get more help at https://help.gradle.org BUILD FAILED in 22s 9 actionable tasks: 9 executed ERROR: Job failed: exit code 1`

failed

test

Test

There is an unknown failure, please try again


* Try:
Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights.

* Get more help at https://help.gradle.org

BUILD FAILED in 22s
9 actionable tasks: 9 executed
ERROR: Job failed: exit code 1