newest KeY changes

Status Job ID Name Coverage
  Build
passed #38671
allowed to fail
build:jdk10

00:01:25

passed #38672
build:jdk8

00:01:18

failed #38670
allowed to fail
build:jdk9

01:20:39

 
  Test
failed #38673
allowed to fail
test

00:00:40

 
  Deploy
passed #38674
allowed to fail
deploy

00:01:01

 
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 30s
18 actionable tasks: 18 executed
ERROR: Job failed: exit code 1
failed
build:jdk9 Build There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log