From ad03008cbbc8c7d83373ab988b3ecbf0344e61d5 Mon Sep 17 00:00:00 2001
From: Alberto Fanton <alberto.fanton@protonmail.com>
Date: Sat, 21 Dec 2024 12:20:03 +0100
Subject: [PATCH] Fix linting issues in GitHub Actions

The lints were generated using actionlint
---
 .github/workflows/build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 106cbfe..53894e0 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -88,7 +88,7 @@ jobs:
 
       - run: cabal update
       - run: cabal build
-      - run: cabal exec $(cabal list-bin spec)
+      - run: cabal exec "$(cabal list-bin spec)"
       - run: cabal install
       - run: cabal repl --with-compiler=doctest
 
@@ -101,6 +101,6 @@ jobs:
       - run: false
         if: needs.build.result != 'success'
 
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - run: curl -sSL https://raw.githubusercontent.com/sol/hpack/main/get-hpack.sh | bash
       - run: hpack && git diff --color --exit-code