Merge pull request #145 from malob/update-ghc

Update to GHC 9.6.4

.github/template/stack-cache/action.yml

@@ -31,7 +31,7 @@ runs:
         fi
 
     - name: Cache ${{ env.global_stack_dir }}
-      uses: actions/cache@v3
+      uses: actions/cache@v4
       with:
         path: ${{ env.global_stack_dir }}
         key: ${{ runner.os }}-stack-global-${{ hashFiles('stack.yaml') }}-${{ hashFiles('package.yaml') }}${{ env.unique_suffix }}
@@ -41,7 +41,7 @@ runs:
           ${{ runner.os }}-stack-global-
 
     - name: Cache ${{ inputs.stack-work-dir }}
-      uses: actions/cache@v3
+      uses: actions/cache@v4
       with:
         path: ${{ inputs.stack-work-dir }}
         key: ${{ runner.os }}-stack-work-${{ hashFiles('stack.yaml') }}-${{ hashFiles('package.yaml') }}-${{ hashFiles('**/*.hs') }}${{ env.unique_suffix }}

.github/workflows/nix-agda.yml

@@ -23,16 +23,16 @@ jobs:
 
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Install Nix
-        uses: cachix/install-nix-action@v22
+        uses: cachix/install-nix-action@v26
         with:
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
 
       - name: Cache Nix builds
-        uses: DeterminateSystems/magic-nix-cache-action@v2
+        uses: DeterminateSystems/magic-nix-cache-action@v4
 
       - name: Build Agda
         run: |

.github/workflows/nix.yml

@@ -20,16 +20,16 @@ jobs:
 
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Install Nix
-        uses: cachix/install-nix-action@v22
+        uses: cachix/install-nix-action@v26
         with:
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
 
       - name: Cache Nix builds
-        uses: DeterminateSystems/magic-nix-cache-action@v2
+        uses: DeterminateSystems/magic-nix-cache-action@v4
 
       - name: Build cornelis
         run: |
@@ -41,10 +41,10 @@ jobs:
 
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Install Nix
-        uses: cachix/install-nix-action@v22
+        uses: cachix/install-nix-action@v26
         with:
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}

.github/workflows/stack.yml

@@ -14,7 +14,7 @@ jobs:
 
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Cache Stack dirs (Linux/macOS)
         if: runner.os != 'Windows'
@@ -41,7 +41,7 @@ jobs:
 
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Cache Stack dirs (Linux/macOS)
         if: runner.os != 'Windows'
@@ -60,7 +60,7 @@ jobs:
       # and also reduces how much we need to cache with the `cache` action.
       - name: Install Nix
         if: runner.os != 'Windows'
-        uses: cachix/install-nix-action@v22
+        uses: cachix/install-nix-action@v26
         with:
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
@@ -86,7 +86,7 @@ jobs:
 
       # Tests can be flaky so we retry them a few times.
       - name: Run tests
-        uses: nick-fields/retry@v2
+        uses: nick-fields/retry@v3
         with:
           timeout_minutes: 20
           max_attempts: 3

flake.nix

@@ -12,9 +12,9 @@
       name = "cornelis";
       # Update `./.github/workflows/nix.yml` if changed.
       # `ghc902` excluded due to build issues.
-      ghcVersions = map (v: "ghc${v}") [ "810" "92" "94" "96" ];
+      ghcVersions = map (v: "ghc${v}") [ "810" "92" "94" "96" "98" ];
       # Ensure resolver in `./stack.yaml` is in sync with `defaultGhcVersion`.
-      defaultGhcVersion = "ghc94";
+      defaultGhcVersion = "ghc96";
     in
     {
       overlays = {

stack.yaml

@@ -1,6 +1,6 @@
-# GHC 9.4.8
+# GHC 9.6.4
 # Update `defaultGHCVersion` in `./flake.nix` when updating to resolver with different GHC version.
-resolver: lts-21.25
+resolver: lts-22.13
 
 packages:
 - .

stack.yaml.lock

@@ -13,7 +13,7 @@ packages:
     hackage: levenshtein-0.2.1.0
 snapshots:
 - completed:
-    sha256: a81fb3877c4f9031e1325eb3935122e608d80715dc16b586eb11ddbff8671ecd
-    size: 640086
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/21/25.yaml
-  original: lts-21.25
+    sha256: 6f0bea3ba5b07360f25bc886e8cff8d847767557a492a6f7f6dcb06e3cc79ee9
+    size: 712905
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/13.yaml
+  original: lts-22.13