bug fix: now possible to evalute "case true:", Ignored one testcase for try,...

bug fix: now possible to evalute "case true:", Ignored one testcase for try, beacuse it is not handeld properly yet
3 jobs for master in 10 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
failed build #19078

00:00:03

failed deploy #19080
allowed to fail

00:00:03

failed test #19079

00:00:03

 
Name Stage Failure
failed
deploy Test There is an unknown failure, please try again
HEAD is now at 6ad1a28 bug fix: now possible to evalute "case true:", Ignored one testcase for try, beacuse it is not handeld properly yet
Checking out 6ad1a280 as master...
Updating/initializing submodules recursively...
Synchronizing submodule url for 'doc'
Cloning into '/builds/xt9634/ProofScriptParser/doc'...
error: cannot run ssh: No such file or directory
fatal: unable to fork
fatal: clone of 'git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git' into submodule path '/builds/xt9634/ProofScriptParser/doc' failed
ERROR: Job failed: exit code 1
failed
test Test There is an unknown failure, please try again
HEAD is now at 6ad1a28 bug fix: now possible to evalute "case true:", Ignored one testcase for try, beacuse it is not handeld properly yet
Checking out 6ad1a280 as master...
Updating/initializing submodules recursively...
Synchronizing submodule url for 'doc'
Cloning into '/builds/xt9634/ProofScriptParser/doc'...
error: cannot run ssh: No such file or directory
fatal: unable to fork
fatal: clone of 'git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git' into submodule path '/builds/xt9634/ProofScriptParser/doc' failed
ERROR: Job failed: exit code 1
failed
build Test There is an unknown failure, please try again
   1dcc213..6ad1a28  master     -> origin/master
Checking out 6ad1a280 as master...
Updating/initializing submodules recursively...
Synchronizing submodule url for 'doc'
Cloning into '/builds/xt9634/ProofScriptParser/doc'...
error: cannot run ssh: No such file or directory
fatal: unable to fork
fatal: clone of 'git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git' into submodule path '/builds/xt9634/ProofScriptParser/doc' failed
ERROR: Job failed: exit code 1