chiark / gitweb /
jenkins-setup-build-env: actually run tests in the new buildserver VM