New KeYFiles

4 jobs for master
Status Job ID Name Coverage
  Build
passed #90705
build:jdk8

00:00:54

failed #90648
build:jdk8

 
  Test
failed #90649
allowed to fail
test

00:00:29

 
  Deploy
passed #90650
deploy

00:00:40

 
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

BUILD FAILED in 16s
21 actionable tasks: 21 executed
ERROR: Job failed: exit code 1