chiark / gitweb /
jenkins: some reliability fixes to the test scripts