chiark / gitweb /
complete-ci-tests: exit with error if setup is not correct