From ae678c9a31e697fa1444c7acdc2e1aa39769b97c Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 1 Jul 2022 11:56:14 +0000
Subject: [PATCH] Bump actions/download-artifact from 2 to 3 (#19)

---
 .github/workflows/coq.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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