fixup CI

Merged Wout De Nolf requested to merge fixup_ci into main

Merge request reports