Merge pull request #1945 from goblint/dependabot/github_actions/actions/upload-artifact-7

Bump actions/upload-artifact from 6 to 7

Author: sim642

.github/workflows/coverage.yml

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

.github/workflows/locked.yml

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