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

Status	Job ID	Name
Build
passed	#112277	build:jdk8	00:01:05 Jan 29, 2019

Test
failed	#112278 allowed to fail	test	00:00:45 Jan 29, 2019

Deploy
passed	#112279	deploy	00:00:46 Jan 29, 2019

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