mirror of
https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git
synced 2024-11-15 14:52:04 +00:00
ci: add integration stage and move documentation job to that
Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs/-/merge_requests/977>
This commit is contained in:
parent
cdf07dd860
commit
a9f3ff2925
1 changed files with 2 additions and 0 deletions
|
@ -42,6 +42,7 @@ stages:
|
||||||
- "lint"
|
- "lint"
|
||||||
- "test"
|
- "test"
|
||||||
- "extras"
|
- "extras"
|
||||||
|
- "integration"
|
||||||
|
|
||||||
.debian:11:
|
.debian:11:
|
||||||
variables:
|
variables:
|
||||||
|
@ -239,6 +240,7 @@ meson static:
|
||||||
# Check that the gstreamer documentation keeps working
|
# Check that the gstreamer documentation keeps working
|
||||||
documentation:
|
documentation:
|
||||||
image: $GSTREAMER_DOC_IMAGE
|
image: $GSTREAMER_DOC_IMAGE
|
||||||
|
stage: 'integration'
|
||||||
variables:
|
variables:
|
||||||
MESON_ARGS: >
|
MESON_ARGS: >
|
||||||
-Ddoc=enabled
|
-Ddoc=enabled
|
||||||
|
|
Loading…
Reference in a new issue