Merge branch 'master' into '55-add-variable-view-to-goaloptionsview'

Reverse Merge Request

See merge request !25
6 jobs for 55-add-variable-view-to-goaloptionsview
Status Job ID Name Coverage
  Build
passed #90701
build:jdk8

00:01:07

canceled #90698
build:jdk8

 
  Test
failed #90702
allowed to fail
test

00:00:29

canceled #90699
allowed to fail
test

 
  Deploy
failed #90703
allowed to fail
deploy

00:00:31

canceled #90700
allowed to fail
deploy

 
Name Stage Failure
failed
deploy Deploy
* Get more help at https://help.gradle.org

BUILD FAILED in 18s

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
20 actionable tasks: 20 executed
ERROR: Job failed: exit code 1
failed
test Test
> There were failing tests. See the report at: file:///builds/xt9634/ProofScriptParser/rt/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 16s
ERROR: Job failed: exit code 1