ci: Upgrade actions to fix warnings (cvc5#10302)

Upgrade checkout, cache and upload-artifact actions versions.

.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/

.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 }}

.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

.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

.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({

.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