bump artifact upload

Author: leventeBajczi

.github/actions/benchexec-test/action.yml

@@ -51,7 +51,7 @@ runs:
       run: |
         benchexec svcomp23-witness-benchmarks/concurrentwitness2test.xml -N 10 --no-container --tool-directory ConcurrentWitness2Test -t ConcurrencySafety-${{ inputs.tool }}
     - name: Upload results
-      uses: actions/upload-artifact@0b7f8abb1508181956e8e162db84b466c27e18ce # v3.1.2
+      uses: actions/upload-artifact@v4
       with:
         name: ${{ inputs.tool }}
         path: results

.github/actions/create-archive/action.yml

@@ -22,7 +22,7 @@ runs:
         cp venv *.py *.md LICENSE requirements.txt svcomp.c *.sh example ConcurrentWitness2Test/ -r
         zip ConcurrentWitness2Test.zip ConcurrentWitness2Test -r
     - name: Upload results
-      uses: actions/upload-artifact@0b7f8abb1508181956e8e162db84b466c27e18ce # v3.1.2
+      uses: actions/upload-artifact@v4
       with:
         name: ConcurrentWitness2Test
         path: ConcurrentWitness2Test.zip