From 8f554242ebc823f6d670855f43edf0c6acbc1f90 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= <facundo.dominguez@tweag.io>
Date: Thu, 19 Sep 2024 15:07:27 +0000
Subject: [PATCH] Disable notifications

---
 .github/workflows/ghc-head.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ghc-head.yml b/.github/workflows/ghc-head.yml
index 3252ddd7ff..e496685669 100644
--- a/.github/workflows/ghc-head.yml
+++ b/.github/workflows/ghc-head.yml
@@ -55,7 +55,8 @@ jobs:
   notify:
     name: Notify failed build
     needs: build
-    if: failure() && github.event.pull_request == null
+    if: false
+    #failure() && github.event.pull_request == null
     runs-on: ubuntu-latest
     steps:
       - uses: jayqi/failed-build-issue-action@v1