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_16 into v9_16

(cherry picked from commit b36cd06a)

Merge request reports