fix: Use actions/upload-artifact@v4

coq-community · Jul 14, 2024 · 126f826 · 126f826
1 parent 790a9e0
commit 126f826
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml
@@ -368,7 +368,7 @@ jobs:
         # to avoid a warning at cleanup time
         if: ${{ always() }}
         run: sudo chown -R 1001:116 .
-      - uses: actions/upload-artifact@v2
+      - uses: actions/upload-artifact@v4
         with:
           name: example-artifact
           path: artifacts/