Try to fix the failing github CI

leanprover-community · Sep 28, 2024 · 2ec280f · 2ec280f
1 parent 0ab85f2
commit 2ec280f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -68,7 +68,7 @@ jobs:
           github_event: ${{ github.event_name }}
           github_ref: ${{ github.ref }}
       - name: Upload export.json
-        uses: actions/upload-artifact@v2.2.4
+        uses: actions/upload-artifact@v4
         with:
           path: export.json