Pipeline · sarah.grebing / ProofScriptParser

merge with master

3 jobs for luonng_variableAssignment in 2 minutes and 8 seconds (queued for 1 second)

42f19000

Status	Job ID	Name
Build
passed	#91522	build:jdk8	00:00:57 Nov 26, 2018

Test
failed	#91523 allowed to fail	test	00:00:29 Nov 26, 2018

Deploy
passed	#91524	deploy	00:00:40 Nov 26, 2018

Name Stage Failure

	Name	Stage	Failure
failed	test	Test
	`> There were failing tests. See the report at: file:///builds/xt9634/ProofScriptParser/rt/build/reports/tests/test/index.html * 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 17s ERROR: Job failed: exit code 1`

failed

test

Test

> There were failing tests. See the report at: file:///builds/xt9634/ProofScriptParser/rt/build/reports/tests/test/index.html

* 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 17s
ERROR: Job failed: exit code 1