Merge branch 'master' into temp

viperproject · Sep 11, 2024 · 68e566c · 68e566c
2 parents 471b4d7 + 12552e8
commit 68e566c
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'