working on new ProofTree view

5 jobs for master in 5 minutes and 32 seconds
Status Job ID Name Coverage
  Build
passed #38179
build:jdk10

00:01:17

passed #38180
build:jdk8

00:01:09

passed #38178
build:jdk9

00:01:26

 
  Test
failed #38181
allowed to fail
test

00:00:39

 
  Deploy
passed #38182
deploy

00:01:00

 
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 28s
18 actionable tasks: 18 executed
ERROR: Job failed: exit code 1