chiark / gitweb /
jenkins makebuildserver fail if vagrant box was not created
authorMichael Pöhn <michael.poehn@fsfe.org>
Thu, 23 Mar 2017 23:49:02 +0000 (00:49 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:04:08 +0000 (20:04 +0200)
commit437ff7c3f0f36d9832731746f6113a0bbd435a1b
treee8a0ab29749c43d5ba60cb3fcbdef289d3e58195
parent2993674aa88421453ee24667059034e392460154
jenkins makebuildserver fail if vagrant box was not created
jenkins-build-makebuildserver