Change event_name for "Push PR preview".

ESCOMP · Oct 3, 2024 · f344a1e · f344a1e
1 parent ff003dd
commit f344a1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -89,7 +89,7 @@ jobs:
           make BUILDDIR=${PWD}/_build -C doc/ html
       - name: Push PR preview
         if: |
-          github.event_name == 'pull_request'
+          github.event_name == 'push'
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{secrets.GITHUB_TOKEN}}