diff --git a/.github/workflows/build-and-test-Linux.yaml b/.github/workflows/build-and-test-Linux.yaml index 72c87db96b9..6ae5a6ad0c7 100644 --- a/.github/workflows/build-and-test-Linux.yaml +++ b/.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@v5 + - uses: actions/upload-artifact@v6 with: name: CPROVER-faultyInput path: CPROVER/faultyInput/*