Pipeline · sarah.grebing / ProofScriptParser

Merge remote-tracking branch 'remotes/origin/master' into luong_compactInteractive

+ apply Bugfix for failing tests
                                                                                           # Conflicts:
                                                                                           #	ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/InteractiveModeController.java

3 jobs for luong_compactInteractive in 2 minutes and 38 seconds (queued for 1 second)

d4225b0b

Name Stage Failure

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

failed

test

Test

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

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

BUILD FAILED in 32s
ERROR: Job failed: exit code 1