Add workflow dispatch trigger to docs building

mhordynski · mhordynski · commit 0323fb05bedf · 2024-06-14T15:46:51.000+02:00
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -3,6 +3,7 @@ name: Build documentation
 on:
   release:
     types: [published]
+  workflow_dispatch:
 
 jobs:
   pages:
