From c1ff5e2117f7d4ea086f0c9b0ec683492993c37f Mon Sep 17 00:00:00 2001 From: Ferry Cools Date: Sat, 30 Aug 2025 11:41:27 +0200 Subject: [PATCH 1/2] Update deploy-docs.yml Cut deployment at PR targeting the main branch. --- .github/workflows/deploy-docs.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index 6522e29d..b9f05079 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -4,9 +4,9 @@ on: push: branches: - main - pull_request: - branches: - - main +# pull_request: +# branches: +# - main permissions: contents: write From c84df1031e8f25b29976c67c9f7d2f7450710847 Mon Sep 17 00:00:00 2001 From: Ferry Cools Date: Sat, 30 Aug 2025 12:04:27 +0200 Subject: [PATCH 2/2] Update deploy-docs.yml Add manual redeployment of docs --- .github/workflows/deploy-docs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index b9f05079..2742432e 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -7,6 +7,7 @@ on: # pull_request: # branches: # - main + workflow_dispatch: permissions: contents: write @@ -36,7 +37,7 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 needs: check-for-changes - if: needs.check-for-changes.outputs.changed == 'true' + if: needs.check-for-changes.outputs.changed == 'true' || github.event_name == 'workflow_dispatch' env: CI_COMMIT_AUTHOR: 'CI Bot' CI_COMMIT_EMAIL: 'ci@noreply.github.com'