From 12552e86e7b6f81003fca7887b13fc57cf211764 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Pereira?= <joaopereira.19@gmail.com>
Date: Wed, 11 Sep 2024 20:02:38 +0200
Subject: [PATCH] Fix failing CI due to outdated upload action (#376)

---
 .github/workflows/gobra.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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'