From 235e860b84c47566d80554fb12f8384b37ff941a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Neto?= <netolcc06@gmail.com>
Date: Tue, 30 Jan 2024 18:26:12 -0300
Subject: [PATCH] ci: Upgrade actions to fix warnings (#10302)

Upgrade checkout, cache and upload-artifact actions versions.
---
 .github/actions/build-documentation/action.yml        | 2 +-
 .github/actions/package-python-wheel-macos/action.yml | 2 +-
 .github/actions/setup-cache/action.yml                | 6 +++---
 .github/workflows/ci.yml                              | 2 +-
 .github/workflows/docs_upload.yml                     | 2 +-
 .github/workflows/package_pypi.yml                    | 2 +-
 6 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/.github/actions/build-documentation/action.yml b/.github/actions/build-documentation/action.yml
index 8c43589c74c..dbfcb6597bd 100644
--- a/.github/actions/build-documentation/action.yml
+++ b/.github/actions/build-documentation/action.yml
@@ -16,7 +16,7 @@ runs:
       working-directory: ${{ inputs.build-dir }}
     
     - name: Store Documentation
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: documentation
         path: ${{ inputs.build-dir }}/docs/sphinx-gh/
diff --git a/.github/actions/package-python-wheel-macos/action.yml b/.github/actions/package-python-wheel-macos/action.yml
index 07dd96355c4..6850d142d73 100644
--- a/.github/actions/package-python-wheel-macos/action.yml
+++ b/.github/actions/package-python-wheel-macos/action.yml
@@ -10,7 +10,7 @@ inputs:
 runs:
   using: composite
   steps:
-    - uses: actions/setup-python@v2
+    - uses: actions/setup-python@v4
       if: runner.os == 'macOS'
       with:
         python-version: ${{ inputs.python-version }}
diff --git a/.github/actions/setup-cache/action.yml b/.github/actions/setup-cache/action.yml
index 5790883c332..fe098e41f17 100644
--- a/.github/actions/setup-cache/action.yml
+++ b/.github/actions/setup-cache/action.yml
@@ -33,7 +33,7 @@ runs:
   using: composite
   steps:
     - name: Setup ccache cache
-      uses: actions/cache@v3
+      uses: actions/cache@v4
       with:
         path: ccache-dir
         key: ${{ inputs.cache-key }}-${{ runner.os }}-ccache-${{ github.sha }}
@@ -50,7 +50,7 @@ runs:
 
     - name: Setup contrib dependencies cache
       id: contrib-cache
-      uses: actions/cache@v3
+      uses: actions/cache@v4
       with:
         path: deps/install
         key: ${{ inputs.cache-key }}-${{ runner.os }}-contrib-${{ hashFiles('contrib/get-**') }}-${{ hashFiles('.github/**') }}
@@ -63,7 +63,7 @@ runs:
         ./contrib/get-alf-checker
 
     - name: Setup dependencies cache
-      uses: actions/cache@v3
+      uses: actions/cache@v4
       with:
         path: |
           build-shared/deps
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 828fff06dc3..92138b14048 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -85,7 +85,7 @@ jobs:
 
     steps:
 
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
 
     - name: Install dependencies
       uses: ./.github/actions/install-dependencies
diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml
index 0354f69f590..5ad1900add5 100644
--- a/.github/workflows/docs_upload.yml
+++ b/.github/workflows/docs_upload.yml
@@ -19,7 +19,7 @@ jobs:
           git config --global user.name "DocBot"
       
       - name: Download artifact
-        uses: actions/github-script@v6.4.0
+        uses: actions/github-script@v7
         with:
           script: |
             var artifacts = await github.rest.actions.listWorkflowRunArtifacts({
diff --git a/.github/workflows/package_pypi.yml b/.github/workflows/package_pypi.yml
index dd70ae65040..c9e38bba504 100644
--- a/.github/workflows/package_pypi.yml
+++ b/.github/workflows/package_pypi.yml
@@ -32,7 +32,7 @@ jobs:
     if: (github.repository == 'cvc5/cvc5') || (github.event_name != 'schedule')
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         fetch-depth: 0