Update github actions artifact to version 4.1.7

PrincetonUniversity · Sep 17, 2024 · 14c7ac1 · 14c7ac1
1 parent 1ba625a
commit 14c7ac1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -38,7 +38,7 @@ jobs:
           - coq_version: dev
             bit_size: 32
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4.1.7
         with:
           submodules: true
       - uses: coq-community/docker-coq-action@v1
@@ -78,7 +78,7 @@ jobs:
       - name: 'Create archive'
         run: tar -cpvzf archive.tgz * .depend
       - name: 'Upload archive'
-        uses: actions/upload-artifact@v2
+        uses: actions/upload-artifact@v4.1.7
         with:
           name: 'VST build artifacts ${{matrix.coq_version}} ${{matrix.bit_size}}'
           path: archive.tgz