The maintenance of the underlying GitLab CI compute infrastructure is finished. All runners are back online and start to pick up jobs. Thanks for your patience.
Closes #144 (closed)