From 5500298cb7ab85b6635d7bc02fff91fa71ba8309 Mon Sep 17 00:00:00 2001
From: Malo Bourgon <mbourgon@gmail.com>
Date: Mon, 25 Mar 2024 11:38:20 -0700
Subject: [PATCH] Update to latest version of GitHub actions used

---
 .github/template/stack-cache/action.yml |  4 ++--
 .github/workflows/nix-agda.yml          |  6 +++---
 .github/workflows/nix.yml               | 10 +++++-----
 .github/workflows/stack.yml             |  8 ++++----
 4 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/.github/template/stack-cache/action.yml b/.github/template/stack-cache/action.yml
index 6a28955..6ed68d8 100644
--- a/.github/template/stack-cache/action.yml
+++ b/.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 }}
diff --git a/.github/workflows/nix-agda.yml b/.github/workflows/nix-agda.yml
index 3e6dee4..575131f 100644
--- a/.github/workflows/nix-agda.yml
+++ b/.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: |
diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index b5850a3..85ddec3 100644
--- a/.github/workflows/nix.yml
+++ b/.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 }}
diff --git a/.github/workflows/stack.yml b/.github/workflows/stack.yml
index a64d28c..799cf51 100644
--- a/.github/workflows/stack.yml
+++ b/.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