ci: Allow manual trigger for docs deployment

pola-rs · Oct 20, 2023 · 4a9e2c0 · 4a9e2c0
1 parent 27a4fe2
commit 4a9e2c0
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/docs-global.yml b/.github/workflows/docs-global.yml
@@ -9,6 +9,8 @@ on:
   push:
     tags:
       - py-**
+  # Allow manual trigger until we have properly versioned docs
+  workflow_dispatch:
 
 jobs:
   markdown-link-check:
@@ -72,12 +74,12 @@ jobs:
         run: mkdocs build
 
       - name: Add .nojekyll
-        if: ${{ github.ref_type == 'tag' }}
+        if: github.ref_type == 'tag' || github.event_name == 'workflow_dispatch'
         working-directory: site
         run: touch .nojekyll
 
       - name: Deploy docs
-        if: ${{ github.ref_type == 'tag' }}
+        if: github.ref_type == 'tag' || github.event_name == 'workflow_dispatch'
         uses: JamesIves/github-pages-deploy-action@v4
         with:
           folder: site