Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows

Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 2 to 4.1.7. - [Release notes](https://github.com/actions/download-artifact/releases) - [Commits](actions/download-artifact@v2...v4.1.7) --- updated-dependencies: - dependency-name: actions/download-artifact dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]>
PrincetonUniversity · Sep 3, 2024 · be3bba1 · be3bba1
1 parent 1ba625a
commit be3bba1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}}'