From 9deefa62445fe177f2ef977197e0d41b092ef098 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stefan=20Str=C3=B6mer?= <stefan.stroemer@ait.ac.at>
Date: Wed, 19 Jun 2024 02:46:58 +0200
Subject: [PATCH] fix: allow deploying docs for other triggers than push
 (otherwise it would not be deployed on successfull PRs)

---
 .github/workflows/documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 254140a..2b72518 100644
--- a/.github/workflows/documentation.yml
+++ b/.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 }}