CI: Add docs pipeline for main pipelines (#45740) (#45767)

* Add docs pipeline for main

* Extract trigger docs

* Change trigger for main

(cherry picked from commit ea3e41ea62)
This commit is contained in:
Dimitris Sotirakis
2022-02-23 12:26:30 +01:00
committed by GitHub
parent 90ec0128c1
commit 7fb85157c9
5 changed files with 83 additions and 20 deletions
+9 -9
View File
@@ -23,9 +23,8 @@ load(
'pipeline',
)
ver_mode = 'pr'
def docs_pipelines(edition):
def docs_pipelines(edition, ver_mode, trigger):
steps = [download_grabpl_step()] + initialize_step(edition, platform='linux', ver_mode=ver_mode)
steps.extend([
build_frontend_step(edition=edition, ver_mode=ver_mode),
@@ -37,8 +36,14 @@ def docs_pipelines(edition):
build_docs_website_step(),
])
trigger = {
'event': [
return pipeline(
name='{}-docs'.format(ver_mode), edition=edition, trigger=trigger, services=[], steps=steps,
)
def trigger_docs():
return {
'event': [
'pull_request',
],
'paths': {
@@ -48,8 +53,3 @@ def docs_pipelines(edition):
],
},
}
return [
pipeline(
name='pr-docs', edition=edition, trigger=trigger, services=[], steps=steps,
),
]