Allow manual triggering of workflows

tvdijen · tvdijen · commit 5bd1ab2f9766 · 2023-08-13T21:11:29.000+02:00
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -11,6 +11,7 @@ on:  # yamllint disable-line rule:truthy
     branches: [master, simplesamlphp-*]
     paths:
       - '**.md'
+  workflow_dispatch:
 
 jobs:
   quality:
diff --git a/.github/workflows/php.yml b/.github/workflows/php.yml
@@ -11,6 +11,7 @@ on:  # yamllint disable-line rule:truthy
     branches: [master, release-*]
     paths-ignore:
       - '**.md'
+  workflow_dispatch:
 
 jobs:
   linter:
