Pipeline · sarah.grebing / ProofScriptParser

first draft impl for isDerivable

3 jobs for master in 1 minute and 23 seconds (queued for 2 seconds)

Status	Job ID	Name
Test
failed	#16534	build	00:00:28 Jul 15, 2017
failed	#16536 allowed to fail	deploy	00:00:28 Jul 15, 2017
failed	#16535	test	00:00:27 Jul 15, 2017

	Name	Stage	Failure
failed	deploy	Test	There is an unknown failure, please try again
	`[ERROR] location: class edu.kit.formal.gui.controls.ScriptController [ERROR] -> [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/MojoFailureException ERROR: Job failed: exit code 1`
failed	test	Test	There is an unknown failure, please try again
	`[ERROR] location: class edu.kit.formal.gui.controls.ScriptController [ERROR] -> [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/MojoFailureException ERROR: Job failed: exit code 1`
failed	build	Test	There is an unknown failure, please try again
	`[ERROR] location: class edu.kit.formal.gui.controls.ScriptController [ERROR] -> [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/MojoFailureException ERROR: Job failed: exit code 1`