diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml
index 8537005..307b5e3 100644
--- 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/