Skip to content

GitLab

P
ProofScriptParser

small improvements 

* log4j
* HistoryListener.java enhanced
* Pull line hightlightning from JavaArea.java
3 jobs for master in 2 minutes and 31 seconds (queued for 2 seconds)
433967fc
No related merge requests found.
Status Job ID Name Coverage
  Test
passed #14736
build

00:00:41

failed #14738
allowed to fail
deploy

00:01:03

failed #14737
test

00:00:46

 
Name Stage Failure
failed
deploy Test There is an unknown failure, please try again 
[ERROR] Refer to the generated Javadoc files in '/builds/xt9634/ProofScriptParser/target/apidocs' dir.
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
ERROR: Job failed: exit code 1
failed
test Test There is an unknown failure, please try again 
[ERROR] Please refer to /builds/xt9634/ProofScriptParser/target/surefire-reports for the individual test results.
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
ERROR: Job failed: exit code 1