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)
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
deploy | Test | There is an unknown failure, please try again | |
|
||||
failed
|
test | Test | There is an unknown failure, please try again | |
|
||||
failed
|
build | Test | There is an unknown failure, please try again | |
|