From c31e88679267b259c0b55a7a384799ec0205e96d Mon Sep 17 00:00:00 2001
From: Phil de Joux <philderbeast@gmail.com>
Date: Mon, 20 May 2024 21:09:37 -0400
Subject: [PATCH] Use dhall-lang/setup-dhall action

---
 .github/workflows/cabal.yml | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/cabal.yml b/.github/workflows/cabal.yml
index ce6c56c..bf3d9c9 100644
--- a/.github/workflows/cabal.yml
+++ b/.github/workflows/cabal.yml
@@ -22,8 +22,8 @@ jobs:
     steps:
     - uses: actions/checkout@v4
 
-    - uses: haskell-actions/setup@v2
-      name: setup GHC and cabal-install
+    - name: Set up GHC and cabal-install
+      uses: haskell-actions/setup@v2
       id: setup
       with:
         ghc-version: ${{ matrix.vers.ghc }}
@@ -31,10 +31,13 @@ jobs:
         enable-stack: true
         stack-version: '2.15.7'
 
+    - name: Update hackage index
+      run: cabal update --ignore-project
+
     - name: Install Dhall
-      run: |
-        cabal update --ignore-project
-        cabal install dhall --with-compiler=ghc-${{ matrix.vers.ghc }} --ignore-project
+      uses: dhall-lang/setup-dhall@v4
+      with:
+        version: '1.42.1'
 
     - name: Updo
       run: GHC_VERSION=${{ matrix.vers.ghc }} STACKAGE_VERSION=${{ matrix.vers.stackage }} make -f project-files.mk cabal.project