Bump actions/download-artifact from 2 to 3 (#19)

coq-community · Jul 1, 2022 · ae678c9 · ae678c9
1 parent 12236a9
commit ae678c9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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