Merge pull request #1854 from goblint/dependabot/github_actions/actions/upload-artifact-5

Bump actions/upload-artifact from 4 to 5

Author: sim642

.github/workflows/coverage.yml

@@ -66,7 +66,7 @@ jobs:
           COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}
           PULL_REQUEST_NUMBER: ${{ github.event.number }}
 
-      - uses: actions/upload-artifact@v4
+      - uses: actions/upload-artifact@v5
         if: always()
         with:
           name: suite_result

.github/workflows/locked.yml

@@ -60,7 +60,7 @@ jobs:
       - name: Test
         run: opam exec -- dune runtest
 
-      - uses: actions/upload-artifact@v4
+      - uses: actions/upload-artifact@v5
         if: always()
         with:
           name: suite_result-${{ matrix.os }}