mirror of
https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git
synced 2024-11-26 13:31:00 +00:00
ci: add integration stage and move documentation job to that
Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs/-/merge_requests/965>
This commit is contained in:
parent
e1afa43aa3
commit
cc8d84330c
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:
|
||||||
|
@ -246,6 +247,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