Fix failing CI due to outdated upload action

viperproject · Sep 11, 2024 · d8284c1 · d8284c1
1 parent 68b984b
commit d8284c1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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'
+          unsafeWildcardOptimization: '0'