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 #19111
build

00:00:03

failed #19113
allowed to fail
deploy

00:00:03

failed #19112
test

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