Pipeline · sarah.grebing / ProofScriptParser

Bugfix in Script

5 jobs for master in 5 minutes and 26 seconds

Name Stage Failure

	Name	Stage	Failure
failed	test	Test	There is an unknown failure, please try again
	`* Try: Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights. * Get more help at https://help.gradle.org BUILD FAILED in 22s 9 actionable tasks: 9 executed ERROR: Job failed: exit code 1`

failed

Test

There is an unknown failure, please try again


* Try:
Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights.

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

BUILD FAILED in 22s
9 actionable tasks: 9 executed
ERROR: Job failed: exit code 1