From 5b4932e854679a2d8ec08ce2501d5ebc12f39262 Mon Sep 17 00:00:00 2001
From: Nico Lehmann <nico.lehmannm@gmail.com>
Date: Tue, 11 Apr 2023 14:59:34 -0700
Subject: [PATCH] Update tests.yml (#429)

---
 .github/workflows/tests.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index d494847fcf..cba950208d 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -10,21 +10,21 @@ jobs:
   check-tests:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - name: Clone fixpoint
         run: |
           git clone https://github.com/ucsd-progsys/liquid-fixpoint
           echo "fixpoint_hash=$(git -C liquid-fixpoint/ rev-parse HEAD)" >> $GITHUB_ENV
           echo "local_binaries_path=$(pwd)/local-binaries" >> $GITHUB_ENV
       - name: Cache fixpoint
-        uses: actions/cache@v2
+        uses: actions/cache@v3.3.1
         id: cache-fixpoint
         with:
           path: local-binaries
           key: fixpoint-bin-${{ runner.os }}-${{ env.fixpoint_hash }}
       - name: Install Haskell
         if: steps.cache-fixpoint.outputs.cache-hit != 'true'
-        uses: haskell/actions/setup@v1
+        uses: haskell/actions/setup@v2.3.7
         with:
           enable-stack: true
           stack-version: "latest"
@@ -56,7 +56,7 @@ jobs:
   check-fmt:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - name: Rust Cache
         uses: Swatinem/rust-cache@v2.2.1
       - name: Rust rustfmt
@@ -65,7 +65,7 @@ jobs:
   check-clippy:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - name: Add clippy
         run: rustup component add clippy
       - name: Rust Cache