diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 353f5c113c..0b50fb01d6 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -110,7 +110,7 @@ jobs:
       - name: checkout repo (only required because of deploy step) # https://github.com/JamesIves/github-pages-deploy-action/issues/335
         uses: actions/checkout@v3
       - name: Download a Build Artifact
-        uses: actions/download-artifact@v2
+        uses: actions/download-artifact@v3
         with:
           path: doc-build
       - name: Deploy pdfs
@@ -137,7 +137,7 @@ jobs:
           ssh-private-key: ${{ secrets.HISTORY_DEPLOY_KEY }}
         if: github.ref == 'refs/heads/master' && ( github.event_name == 'push' || github.event_name == 'schedule' )
       - name: Download a Build Artifact
-        uses: actions/download-artifact@v2
+        uses: actions/download-artifact@v3
         with:
           path: doc-build
       - name: Deploy pdfs to history repo