Merge pull request #511 from Alex-Fischman/main

Fix deprecation of actions/upload-artifact/v3
egraphs-good · Jan 16, 2025 · 56cc61f · 56cc61f
2 parents 6a3486e + 98135d0
commit 56cc61f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -29,7 +29,7 @@ jobs:
     # (https://github.com/orgs/community/discussions/7730)
     # this can be removed.
     - name: Upload web artifact
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: www
         path: target/www