Merge pull request #8119 from diffblue/dependabot/github_actions/actions/upload-artifact-4

Bump actions/upload-artifact from 3 to 4

Author: kroening

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

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