Limited CI resources on gitlab.gwdg.de

The limitations affecting CI resources on GitLab (gitlab.gwdg.de) have been resolved. CI/CD pipelines are running normally again.

Currently, GitLab (gitlab.gwdg.de) has only limited CI resources available. This may result in delays in the execution of CI/CD pipelines. We are working on allocating additional resources.