diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 40732b42d..65ff0945c 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -121,7 +121,7 @@ jobs:
 
     steps:
       - name: 'Download archive'
-        uses: actions/download-artifact@v2
+        uses: actions/download-artifact@v4.1.7
         id: download
         with:
           name: 'VST build artifacts ${{matrix.coq_version}} ${{matrix.bit_size}}'