diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2020-01-29 09:16:57 +0100 |
---|---|---|
committer | Emmanuele Bassi <ebassi@gnome.org> | 2020-01-29 09:46:13 +0100 |
commit | 51e155bffaf2697ced9e697bb025d0ae2fc348af (patch) | |
tree | f267a34bec90dd64dcf709bf0199a6b8b291086b /.gitlab-ci | |
parent | 98e6e0cf7730d4fd668e6f41d6dd9172396edb07 (diff) | |
download | gtk+-51e155bffaf2697ced9e697bb025d0ae2fc348af.tar.gz |
ci: Deploy the API reference on our GitLab pages
Now that we can build gtk-doc as a sub-project, we can go back to
publishing the API reference for the master branch every time we
build it.
Diffstat (limited to '.gitlab-ci')
-rwxr-xr-x | .gitlab-ci/run-docker.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci/run-docker.sh b/.gitlab-ci/run-docker.sh index 4892769c88..8a04ce8c89 100755 --- a/.gitlab-ci/run-docker.sh +++ b/.gitlab-ci/run-docker.sh @@ -2,7 +2,7 @@ set -e -TAG="registry.gitlab.gnome.org/gnome/gtk/master:v7" +TAG="registry.gitlab.gnome.org/gnome/gtk/master:v10" sudo docker build --build-arg HOST_USER_ID="$UID" --tag "${TAG}" \ --file "Dockerfile" . |