Merge pull request #8721 from diffblue/dependabot/github_actions/actions/upload-artifact-5

Bump actions/upload-artifact from 4 to 5

Author: tautschnig

.github/workflows/build-and-test-Linux.yaml

@@ -49,7 +49,7 @@ jobs:
       - name: Run (Docker Based) Linux Build test
         run: integration/linux/compile_linux.sh
 
-      - uses: actions/upload-artifact@v4
+      - uses: actions/upload-artifact@v5
         with:
           name: CPROVER-faultyInput
           path: CPROVER/faultyInput/*