diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index abacd0b9c..fdc51f7f8 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -43,7 +43,7 @@ jobs:
       run: opam exec -- make doc COQ_ELPI_ALREADY_INSTALLED=1
 
     - name: Save artifact
-      uses: actions/upload-artifact@v2
+      uses: actions/upload-artifact@v3
       with:
         path: doc