From 7183829348e07431af0f8dfeacfe4796a0eb00c1 Mon Sep 17 00:00:00 2001
From: Tijs Alleman <tijs.alleman@ugent.be>
Date: Wed, 31 Jul 2024 21:41:33 -0400
Subject: [PATCH] remove if: github.event_name == 'push' from deploy docs
 workflow file

---
 .github/workflows/deploy.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index f523c54..f231b69 100644
--- 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'
\ No newline at end of file
+        publish_dir: ./build/sphinx/
\ No newline at end of file