update doc

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

00:00:04

failed #19006
allowed to fail
deploy

00:00:03

failed #19005
test

00:00:03

 
Name Stage Failure
failed
deploy Test There is an unknown failure, please try again
HEAD is now at 165768d update doc
Checking out 165768de 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 165768d update doc
Checking out 165768de 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
   6d25b0a..165768d  master     -> origin/master
Checking out 165768de as master...
Updating/initializing submodules recursively...
Submodule 'doc' (git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git) registered for path '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