Pipeline · sarah.grebing / ProofScriptParser

auto reload of clean files.

... useful for external editors.
... title = fielpath + dirty flag

5 jobs for master in 5 minutes and 44 seconds (queued for 1 second)

c73bf4f5

Status	Job ID	Name
Build
passed	#38196	build:jdk10	00:01:19 May 24, 2018
passed	#38197	build:jdk8	00:01:20 May 24, 2018
passed	#38195	build:jdk9	00:01:24 May 24, 2018

Test
failed	#38198 allowed to fail	test	00:00:38 May 24, 2018

Deploy
passed	#38199	deploy	00:01:00 May 24, 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 27s 18 actionable tasks: 18 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 27s
18 actionable tasks: 18 executed
ERROR: Job failed: exit code 1