Allow triggering docs workflow manually.

2022-12-07 19:54:22 +01:00 · 2022-12-07 19:54:22 +01:00 · eef4df9063
parent 176da44faf
commit eef4df9063
1 changed files with 2 additions and 0 deletions
--- a/.github/workflows/docs-push.yml
+++ b/.github/workflows/docs-push.yml
@ -17,6 +17,8 @@ on:
  # Run CI once per day (at 09:00 UTC)
  schedule:
    - cron: '0 9 * * *'
+  # Allow manual trigger (for newer antsibull-docs, sphinx-ansible-theme, ... versions)
+  workflow_dispatch:

 jobs:
  build-docs: