mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-06-16 13:00:41 +00:00
ci: Document the difference between the two doc jobs
Naming is hard, so I opted for a small comment to explain this one. Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/1054>
This commit is contained in:
parent
55222db66e
commit
88ceb249be
|
@ -857,6 +857,10 @@ valgrind ges:
|
||||||
- documentation/
|
- documentation/
|
||||||
- plugins-cache-diffs/
|
- plugins-cache-diffs/
|
||||||
|
|
||||||
|
#
|
||||||
|
# This jobs runs in gsrtreamer namespace when after the merge into main branch.
|
||||||
|
# The produced artifact is later used to automatically update the web page.
|
||||||
|
#
|
||||||
documentation:
|
documentation:
|
||||||
stage: integrate
|
stage: integrate
|
||||||
extends:
|
extends:
|
||||||
|
@ -865,6 +869,10 @@ documentation:
|
||||||
rules:
|
rules:
|
||||||
- if: '$CI_PROJECT_NAMESPACE == "gstreamer" && $CI_COMMIT_BRANCH == "main"'
|
- if: '$CI_PROJECT_NAMESPACE == "gstreamer" && $CI_COMMIT_BRANCH == "main"'
|
||||||
|
|
||||||
|
#
|
||||||
|
# This job is run in users namespace to validate documentation before merging
|
||||||
|
# MR.
|
||||||
|
#
|
||||||
build documentation:
|
build documentation:
|
||||||
extends:
|
extends:
|
||||||
- '.documentation'
|
- '.documentation'
|
||||||
|
|
Loading…
Reference in a new issue