Bump actions/upload-artifact from 4.3.2 to 4.3.3

Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4.3.2 to 4.3.3.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](actions/upload-artifact@v4.3.2...v4.3.3)

---
updated-dependencies:
- dependency-name: actions/upload-artifact
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>

.github/workflows/main.yml

@@ -38,7 +38,7 @@ jobs:
         opam exec make
 
     - name: Upload soteria_pp
-      uses: actions/upload-artifact@v4.3.2
+      uses: actions/upload-artifact@v4.3.3
       with:
         name: ${{ runner.os }}-binaries
         path: tools/verdict-back-ends/soteria_pp/bin/soteria_pp

.github/workflows/release.yml

@@ -51,7 +51,7 @@ jobs:
 
     - name: Upload kind2 Linux binary
       if: runner.os == 'Linux'
-      uses: actions/upload-artifact@v4.3.2
+      uses: actions/upload-artifact@v4.3.3
       with:
         name: ${{ runner.os }}-binaries
         path: ${{ steps.extract.outputs.destination }}
@@ -65,7 +65,7 @@ jobs:
 
     - name: Upload kind2 macOS binary
       if: runner.os == 'macOS'
-      uses: actions/upload-artifact@v4.3.2
+      uses: actions/upload-artifact@v4.3.3
       with:
         name: ${{ runner.os }}-binaries
         path: tools/verdict-back-ends/kind2/bin/kind2
@@ -77,7 +77,7 @@ jobs:
         opam exec make
 
     - name: Upload soteria_pp
-      uses: actions/upload-artifact@v4.3.2
+      uses: actions/upload-artifact@v4.3.3
       with:
         name: ${{ runner.os }}-binaries
         path: tools/verdict-back-ends/soteria_pp/bin/soteria_pp