Pipeline · sarah.grebing / ProofScriptParser

Test added (dualsplit)

3 jobs for grebing_luong_workbranch in 36 minutes and 17 seconds (queued for 2 seconds)

Name Stage Failure

	Name	Stage	Failure
failed	test	Test
	`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 37 actionable tasks: 37 executed * Get more help at https://help.gradle.org BUILD FAILED in 33m 59s ERROR: Job failed: exit code 1`

failed

Test

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
37 actionable tasks: 37 executed

* Get more help at https://help.gradle.org

BUILD FAILED in 33m 59s
ERROR: Job failed: exit code 1