New KeY Master and Jelle's taclets

5 jobs for master in 3 minutes and 29 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
failed build:jdk10 #43626
allowed to fail

00:00:48

passed build:jdk8 #43627

00:01:10

failed build:jdk9 #43625
allowed to fail

00:00:52

 
  Test
failed test #43628
allowed to fail

00:00:18

 
  Deploy
failed deploy #43629
allowed to fail

00:00:18

 
Name Stage Failure
failed
deploy Deploy 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 8s
1 actionable task: 1 executed
ERROR: Job failed: exit code 1
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 8s
1 actionable task: 1 executed
ERROR: Job failed: exit code 1
failed
build:jdk10 Build 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 30s
1 actionable task: 1 executed
ERROR: Job failed: exit code 1
failed
build:jdk9 Build 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 35s
1 actionable task: 1 executed
ERROR: Job failed: exit code 1