chiark / gitweb /
move tests into common script for jenkins and gitlab-ci