From e39af5d8af9be13d1e748a77ad1c969801e5814a Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Thu, 29 Feb 2024 15:04:26 +0100
Subject: [PATCH] Add cabal update step

---
 .github/workflows/build.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9e92142..a955286 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -12,7 +12,9 @@ jobs:
 
     - uses: actions/checkout@v4
 
-    - run: cabal install --ignore-project alex-3.4.0.1
+    - run: |
+        cabal update
+        cabal install --ignore-project alex-3.4.0.1
 
     - run: alex --version