Pipeline · sarah.grebing / ProofScriptParser

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

3 jobs for master in 10 seconds (queued for 1 second)

6ad1a280

Status	Name	Job ID
Test
failed	build	#19078	00:00:03 Aug 31, 2017
failed	deploy	#19080 allowed to fail	00:00:03 Aug 31, 2017
failed	test	#19079	00:00:03 Aug 31, 2017

	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`