Skip to content

Maintenance/update ci

Daniel Scheffler requested to merge maintenance/update_ci into main

Updates CI runner and adapts the CI build script to upstream changes in GitLab 17.0.

Edited by Daniel Scheffler

Merge request reports