The pipeline has been failing for some time, which takes unnecessary CI
time. If needed, the config file can be recovered with:

    git checkout e6521c67 -- .gitlab-ci.yml