ci: upgrade actions/checkout to v4 (avanhatt#96)

Upgrade checkout action to resolve Node 20 warnings.
wellesley-prog-sys · Sep 30, 2024 · 192fffc · 192fffc
1 parent 4c73614
commit 192fffc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -13,7 +13,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Setup Rust Toolchain
         uses: dtolnay/rust-toolchain@stable
       - name: Build
@@ -28,7 +28,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Setup Rust Toolchain
         uses: dtolnay/rust-toolchain@stable
       - name: Install CVC5

diff --git a/.github/workflows/explorer.yml b/.github/workflows/explorer.yml
@@ -21,7 +21,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Setup Rust Toolchain
         uses: dtolnay/rust-toolchain@stable
       - name: Install Tools