Skip to content

Change the name of the target branch on CI jobs

Marco Clemencic requested to merge fix-ci-configuration into master

this is most probably needed because of a change in Gitlab which prevents the old version to work

Merge request reports