documentation

4 jobs for gradle in 2 minutes and 16 seconds (queued for 32 seconds)
Status Name Job ID Coverage
  Build
passed build:jdk8 #29438

00:01:06

failed build:jdk9 #29437
allowed to fail

00:00:36

 
  Test
failed test #29439

00:00:33

 
  Deploy
skipped deploy #29440
allowed to fail
 
Name Stage Failure
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 26s
1 actionable task: 1 executed
ERROR: Job failed: exit code 1
failed
test Test There is an unknown failure, please try again
> There were failing tests. See the report at: file:///builds/xt9634/ProofScriptParser/lang/build/reports/tests/test/index.html

* 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 20s
ERROR: Job failed: exit code 1