chiark / gitweb /
gitlab-ci: remove apt-get progress dumps from build log