diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml
index 7071a8fb1..567ba92e5 100644
--- a/.github/workflows/gobra.yml
+++ b/.github/workflows/gobra.yml
@@ -395,7 +395,7 @@ jobs:
           viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Upload the verification report
-        uses: actions/upload-artifact@v2
+        uses: actions/upload-artifact@v4
         with:
           name: stats_addr.json
           path: /stats/stats_addr.json
@@ -431,4 +431,4 @@ jobs:
           useZ3API: ${{ env.useZ3API }}
           disableNL: '0'
           viperBackend: ${{ env.viperBackend }}
-          unsafeWildcardOptimization: '0'
\ No newline at end of file
+          unsafeWildcardOptimization: '0'