From 78134907a28178720673cecc4c0a4059b70f61b6 Mon Sep 17 00:00:00 2001 From: Fu Hanxi Date: Thu, 29 Oct 2020 09:45:43 +0800 Subject: [PATCH] bugfix: Run `deploy_docs_production` in `post_deploy` stage after `push_to_github` successfully --- tools/ci/config/deploy.yml | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/tools/ci/config/deploy.yml b/tools/ci/config/deploy.yml index b734d1af71..5ebcdb2844 100644 --- a/tools/ci/config/deploy.yml +++ b/tools/ci/config/deploy.yml @@ -59,9 +59,6 @@ push_to_github: tags: - deploy - shiny - needs: - - build_docs_html - - build_docs_pdf variables: DOCS_BUILD_DIR: "${IDF_PATH}/docs/_build/" PYTHONUNBUFFERED: 1 @@ -77,6 +74,9 @@ deploy_docs_preview: - .rules:labels:build_docs-slim # Override default stage to happen before the post_check stage: test_deploy + needs: + - build_docs_html + - build_docs_pdf variables: TYPE: "preview" # older branches use DOCS_DEPLOY_KEY, DOCS_SERVER, DOCS_SERVER_USER, DOCS_PATH for preview server so we keep these names for 'preview' @@ -92,6 +92,11 @@ deploy_docs_production: extends: - .deploy_docs_template - .rules:protected-no_label + stage: post_deploy + needs: # ensure runs after push_to_github succeeded + - build_docs_html + - build_docs_pdf + - push_to_github variables: TYPE: "preview" DOCS_DEPLOY_PRIVATEKEY: "$DOCS_PROD_DEPLOY_KEY"