new implementation of cases handling

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

00:00:04

failed #19076
allowed to fail
deploy

00:00:03

failed #19075
test

00:00:03

 
Name Stage Failure
failed
deploy Test There is an unknown failure, please try again
HEAD is now at 1dcc213 new implementation of cases handling
Checking out 1dcc2138 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 1dcc213 new implementation of cases handling
Checking out 1dcc2138 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
   726585a..1dcc213  master     -> origin/master
Checking out 1dcc2138 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