Skip to content

Fix ci

Ruwen Frick requested to merge fix_ci into main

I dont really understand why the pipeline didnt work on the merge commit from yesterday. This might fix it 😄. If not, it might be because the runner on the main branch is different from the runner on other branches. In that case I need to dive deeper.

Merge request reports