fix: update version of upload-artifact in CI

leanprover · Jan 31, 2025 · 2b578ba · 2b578ba
1 parent 12c71bf
commit 2b578ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -104,7 +104,7 @@ jobs:
 
       - name: Upload docs to artifact storage
         if: github.ref != 'refs/heads/main'
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: "Verso manual (PDF and HTML)"
           path: |