Skip to content

Adjust the GitLab CI scripts for new default branch name

Ondřej Surý requested to merge ondrej/switch-the-default-branch-name-to-main-v9_11 into v9_11

(cherry picked from commit b36cd06a)

Merge request reports