Pipeline · sarah.grebing / ProofScriptParser

Merge branch 'master' into '56-compact-script-after-exiting-interactive-mode'

intermediate merge

See merge request !26

4 jobs for 56-compact-script-after-exiting-interactive-mode in 2 minutes and 15 seconds (queued for 2 seconds)

ca22109f

Status	Name	Job ID
Build
passed	build:jdk8	#91203	00:01:00 Nov 24, 2018

Test
failed	test	#112813 allowed to fail	00:00:35 Jan 31, 2019
failed	test	#91204 allowed to fail	00:00:28 Nov 24, 2018

Deploy
passed	deploy	#91205	00:00:39 Nov 24, 2018

Name Stage Failure

	Name	Stage	Failure
failed	test	Test
	`BUILD FAILED in 20s java.lang.NullPointerException at InterpreterTest.java:45 Deprecated Gradle features were used in this build, making it incompatible with Gradle 5.0. Use '--warning-mode all' to show the individual deprecation warnings. See https://docs.gradle.org/4.10.2/userguide/command_line_interface.html#sec:command_line_warnings 21 actionable tasks: 21 executed ERROR: Job failed: exit code 1`

failed

test

Test


BUILD FAILED in 20s
    java.lang.NullPointerException at InterpreterTest.java:45

Deprecated Gradle features were used in this build, making it incompatible with Gradle 5.0.
Use '--warning-mode all' to show the individual deprecation warnings.
See https://docs.gradle.org/4.10.2/userguide/command_line_interface.html#sec:command_line_warnings
21 actionable tasks: 21 executed
ERROR: Job failed: exit code 1