diff options
author | Tim-Philipp Müller <tim@centricular.com> | 2022-11-05 14:44:54 +0300 |
---|---|---|
committer | Jordan Petridis <jordan@centricular.com> | 2022-11-09 21:37:43 +0300 |
commit | cc8d84330ca5ed43ebc439920f1dc5be3c3746ea (patch) | |
tree | 14b8a59a4403266816183321a6c65a672e3e109b /.gitlab-ci.yml | |
parent | e1afa43aa3d4f11d9a513966b0f0175eaab3924a (diff) |
ci: add integration stage and move documentation job to that
Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs/-/merge_requests/965>
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index addbf25f..bd709137 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -42,6 +42,7 @@ stages: - "lint" - "test" - "extras" + - "integration" .debian:11: variables: @@ -246,6 +247,7 @@ meson static: # Check that the gstreamer documentation keeps working documentation: image: $GSTREAMER_DOC_IMAGE + stage: 'integration' variables: MESON_ARGS: > -Ddoc=enabled |