chiark / gitweb /
gitlab-ci: add test runs on Ubuntu, Debian/testing, Fedora