Update deploy-docs.yml

Add manual redeployment of docs
This commit is contained in:
Ferry Cools
2025-08-30 12:04:27 +02:00
committed by GitHub
parent c1ff5e2117
commit c84df1031e

View File

@@ -7,6 +7,7 @@ on:
# pull_request: # pull_request:
# branches: # branches:
# - main # - main
workflow_dispatch:
permissions: permissions:
contents: write contents: write
@@ -36,7 +37,7 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
timeout-minutes: 10 timeout-minutes: 10
needs: check-for-changes 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: env:
CI_COMMIT_AUTHOR: 'CI Bot' CI_COMMIT_AUTHOR: 'CI Bot'
CI_COMMIT_EMAIL: 'ci@noreply.github.com' CI_COMMIT_EMAIL: 'ci@noreply.github.com'