added first testcases for try and closes

3 jobs for master in 10 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
failed build #19111

00:00:03

failed deploy #19113
allowed to fail

00:00:03

failed test #19112

00:00:03

 
Name Stage Failure
failed
deploy Test There is an unknown failure, please try again
HEAD is now at 559327a added first testcases for try and closes
Checking out 559327a5 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 559327a added first testcases for try and closes
Checking out 559327a5 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
   79786fc..559327a  master     -> origin/master
Checking out 559327a5 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