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
Status Job ID Name Coverage
  Test
failed #19078
build

00:00:03

failed #19080
allowed to fail
deploy

00:00:03

failed #19079
test

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