From 54e6c85a3b9c44824e33381290cafcee5d2f48c1 Mon Sep 17 00:00:00 2001
From: Dominic Orchard <dom.orchard@gmail.com>
Date: Wed, 24 Jan 2024 15:39:19 +0000
Subject: [PATCH] add z3 dependency to action

---
 .github/workflows/haskell.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
index cc354ab2..422a76e1 100644
--- a/.github/workflows/haskell.yml
+++ b/.github/workflows/haskell.yml
@@ -17,6 +17,12 @@ jobs:
     - name: Checkout code
       uses: actions/checkout@v3
 
+    - name: Install required libraries
+    run: >-
+      sudo apt install
+      z3
+
+
     - name: Cache Stack build artifacts (user + project)
       uses: actions/cache@v3
       with: