From c84df1031e8f25b29976c67c9f7d2f7450710847 Mon Sep 17 00:00:00 2001 From: Ferry Cools Date: Sat, 30 Aug 2025 12:04:27 +0200 Subject: [PATCH] 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'