From 4e7421b28cad02cc2913fd652980415b2ed617a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20B=C3=A4renz?=
 <Manuel Bärenz programming@manuelbaerenz.de>
Date: Sat, 16 Nov 2024 14:56:42 +0100
Subject: [PATCH] DROP

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 59d0b372..624d48b4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -167,6 +167,7 @@ jobs:
           version: 1.3.0.1
       - run: ./cabal_check.sh
 
+
   success:
     name: Successfully build and test on all systems
     needs: