Update to latest version of GitHub actions used

isovector · Mar 25, 2024 · 5500298 · 5500298
1 parent c28b406
commit 5500298
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 14 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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