update workflows

Author: 4e554c4c

.github/workflows/ci.yml

@@ -17,7 +17,7 @@ jobs:
     name: Stack macOS
     uses: ./.github/workflows/stack.yml
     with:
-      os: macos-12
+      os: macos-latest
 
   stack-windows:
     name: Stack Windows
@@ -36,4 +36,4 @@ jobs:
     name: Nix macOS
     uses: ./.github/workflows/nix.yml
     with:
-      os: macos-12
+      os: macos-latest

.github/workflows/nix-agda.yml

@@ -16,7 +16,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ 'macos-12' , 'ubuntu-22.04']
+        os: [ 'macos-latest' , 'ubuntu-22.04']
 
     name: Nix Agda
     runs-on: ${{ matrix.os }}

.github/workflows/stack.yml

@@ -16,6 +16,13 @@ jobs:
       - name: Checkout repo
         uses: actions/checkout@v4
 
+      - name: Setup Haskell
+        uses: haskell-actions/setup@v2
+        if: runner.os == 'macOS'
+        with:
+          enable-stack: true
+          stack-version: 'latest'
+
       - name: Cache Stack dirs (Linux/macOS)
         if: runner.os != 'Windows'
         uses: ./.github/template/stack-cache