fix: allow deploying docs for other triggers than push (otherwise it …

…would not be deployed on successfull PRs)

.github/workflows/documentation.yml

@@ -25,7 +25,7 @@ jobs:
           sphinx-build docs docs/_build
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v3
-        if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
+        if: ${{ github.ref == 'refs/heads/main' }}
         with:
           publish_branch: gh-pages
           github_token: ${{ secrets.GITHUB_TOKEN }}