chiark / gitweb /
jenkins-test: tame debug output to keep logs at a reasonable length