chiark / gitweb /
jenkins: require successful `git fetch` before running tests
authorHans-Christoph Steiner <hans@eds.org>
Mon, 27 Nov 2017 09:06:47 +0000 (10:06 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 27 Nov 2017 09:07:17 +0000 (10:07 +0100)
commit35ff37b1e2f0f624376a64fd24553c00212d2237
tree0b5d85bee627c03d8c51a1142b2ea0a6cb7d32ae
parent2cf6110860f10d074928b2f4de2ff4547d2324d9
jenkins: require successful `git fetch` before running tests
jenkins-build-all
jenkins-setup-build-environment