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'