From e98e8fe72ab5296d24a272def6f9d1e2566f2794 Mon Sep 17 00:00:00 2001
From: Oliver Westphal <oliver.westphal@uni-due.de>
Date: Mon, 7 Aug 2023 13:16:28 +0200
Subject: [PATCH] run push on every branch

---
 .github/workflows/haskell-push.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/haskell-push.yaml b/.github/workflows/haskell-push.yaml
index 928a701..c1fcb3a 100644
--- a/.github/workflows/haskell-push.yaml
+++ b/.github/workflows/haskell-push.yaml
@@ -13,7 +13,7 @@ permissions:
 
 jobs:
   build:
-    if: ${{ github.ref == format('refs/heads/{0}', github.event.repository.default_branch) }}
+    #if: ${{ github.ref == format('refs/heads/{0}', github.event.repository.default_branch) }}
     runs-on: ubuntu-latest
 
     steps: