Allow triggering docs workflow manually.

felixfontein · felixfontein · commit f935a41b8a32 · 2022-12-07T19:54:25.000+01:00
diff --git a/.github/workflows/docs-push.yml b/.github/workflows/docs-push.yml
@@ -17,6 +17,8 @@ on:
   # Run CI once per day (at 05:15 UTC)
   schedule:
     - cron: '15 5 * * *'
+  # Allow manual trigger (for newer antsibull-docs, sphinx-ansible-theme, ... versions)
+  workflow_dispatch:
 
 jobs:
   build-docs:
