chiark / gitweb /
jenkins: move tests to separate job