Skip to content

P
ProofScriptParser

Merge branch 'master' of git.scc.kit.edu:xt9634/ProofScriptParser 

* 'master' of git.scc.kit.edu:xt9634/ProofScriptParser:
  minor enhancement for progressbar+ dummy grammar for matchpattern (not finished)
3 jobs for master in 1 minute and 41 seconds
b8ec7a67 b8ec7a67237d9ad017da3dab3de7791ae44c7f08
No related merge requests found.
Status Job ID Name Coverage
  Test
failed #18012
build

00:00:35

failed #18014
allowed to fail
deploy

00:00:34

failed #18013
test

00:00:31

 
Name Stage Failure
failed
deploy Test There is an unknown failure, please try again 
[ERROR] location: class edu.kit.formal.gui.controls.ScriptController
[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
failed
test Test There is an unknown failure, please try again 
[ERROR] location: class edu.kit.formal.gui.controls.ScriptController
[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
failed
build Test There is an unknown failure, please try again 
[ERROR] location: class edu.kit.formal.gui.controls.ScriptController
[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