From 556830527be415c0d5d3a4f726d1595608f43640 Mon Sep 17 00:00:00 2001
From: Oz <oz@certora.com>
Date: Wed, 4 Sep 2024 20:17:30 +0300
Subject: [PATCH] upgrade actions

---
 .github/workflows/gambit.yml | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/gambit.yml b/.github/workflows/gambit.yml
index 6950895..92a47f2 100644
--- a/.github/workflows/gambit.yml
+++ b/.github/workflows/gambit.yml
@@ -12,14 +12,14 @@ jobs:
     env:
       TAG: ${{ github.ref_name }}
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Check rust
         run: |
           rustup --version
           cargo --version
           rustc --version
       - name: Cache cargo bin
-        uses: actions/cache@v3
+        uses: actions/cache@v4
         with:
           path: ~/.cargo/bin
           key: ${{ runner.os }}-cargo-bin
@@ -40,7 +40,7 @@ jobs:
         run: mv ./target/x86_64-unknown-linux-gnu/release/gambit ./target/x86_64-unknown-linux-gnu/release/gambit-linux-$TAG
 
       - name: Upload artifact to action
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         if: startsWith(github.event.ref, 'refs/tags/v') # only on new tag creation
         with:
           name: gambit-linux-${{ env.TAG }}
@@ -51,14 +51,14 @@ jobs:
     env:
       TAG: ${{ github.ref_name }}
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Check rust
         run: |
           rustup --version
           cargo --version
           rustc --version
       - name: Cache cargo bin
-        uses: actions/cache@v3
+        uses: actions/cache@v4
         with:
           path: ~/.cargo/bin
           key: ${{ runner.os }}-cargo-bin
@@ -104,7 +104,7 @@ jobs:
         run: mv gambit-macos gambit-macos-$TAG
 
       - name: Upload artifact to action
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         if: startsWith(github.event.ref, 'refs/tags/v') # only on new tag creation
         with:
           name: gambit-macos-${{ env.TAG }}
@@ -117,9 +117,9 @@ jobs:
     env:
       TAG: ${{ github.ref_name }}
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Download artifact
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
       - name: Create a release
         env:
           GH_TOKEN: ${{ github.token }}
@@ -138,7 +138,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       
       - name: PIP install
         run: pip install ansi