GitLab

Further development work to fix this pipeline should be done in a branch
to prevent false-negatives in new commits and merge requests.