remove if: github.event_name == 'push' from deploy docs workflow file

twallema · Aug 1, 2024 · 7183829 · 7183829
1 parent 883ca2b
commit 7183829
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -20,5 +20,4 @@ jobs:
       uses: peaceiris/actions-gh-pages@v3
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: ./build/sphinx/
-      if: github.event_name == 'push'
+        publish_dir: ./build/sphinx/