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

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