workflow: add workflow_dispatch flag

rffontenelle · web-flow · commit 172106e24be8 · 2022-05-09T22:23:12.000-03:00
This allows to run manually from GitHub web interface
diff --git a/.github/workflows/pythonpackage.yml b/.github/workflows/pythonpackage.yml
@@ -1,7 +1,8 @@
 name: Build and update documentation
 
-# Daily at 23 pm
+# Daily at 23 pm, or manually
 on:
+  workflow_dispatch:
   schedule:
     - cron: '0 23 * * *'
 
