chore: update actions/upload-artifact

leanprover · Sep 10, 2024 · b4834e6 · b4834e6
1 parent 97d7d8c
commit b4834e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml
@@ -64,7 +64,7 @@ jobs:
         if: ${{ startsWith(github.ref, 'refs/tags/v') && endsWith(github.ref, '-pre') }}
 
       - name: Upload artifact
-        uses: actions/upload-artifact@v2
+        uses: actions/upload-artifact@v4
         if: matrix.os == 'ubuntu-latest'
         with:
           name: vscode-lean4