ci: Fix publishing docs

The originally merge request predates the switch to `main` as
the default branch name (by a mere week!).

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3054>
This commit is contained in:
Florian Müllner 2023-12-14 17:49:47 +01:00
parent a0a3bf8bf1
commit c0db83672e

View File

@ -294,8 +294,8 @@ pages:
artifacts:
paths:
- public
only:
- master
rules:
- if: '$CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH && $CI_PROJECT_NAMESPACE == "GNOME"'
build-toolbox:
image: quay.io/freedesktop.org/ci-templates:container-build-base-2021-07-29.0