From f85ec82e24391b675d0dceeda66eb00346b45a12 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Thu, 29 Feb 2024 16:20:30 +0100
Subject: [PATCH] Run on macOS

---
 .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 7b8a4a9..15ccb91 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -7,7 +7,7 @@ on:
 
 jobs:
   build:
-    runs-on: ubuntu-latest
+    runs-on: macos-latest
     steps:
 
     - uses: actions/checkout@v4
@@ -47,3 +47,5 @@ jobs:
         which alex
 
     - run: cabal -v3 build
+
+    - run: cabal exec -- alex --version