CI: Upgrade upload-artifact action to v4

Fixes #1250.
GaloisInc · Sep 9, 2024 · 9990539 · 9990539
1 parent be00509
commit 9990539
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/crux-llvm-build.yml b/.github/workflows/crux-llvm-build.yml
@@ -242,7 +242,7 @@ jobs:
         run: |
           .github/ci.sh sign "${NAME}.tar.gz"
 
-      - uses: actions/upload-artifact@v2
+      - uses: actions/upload-artifact@v4
         if: github.repository == 'GaloisInc/crucible'
         with:
           path: crux-llvm-*.tar.gz*

diff --git a/.github/workflows/crux-mir-build.yml b/.github/workflows/crux-mir-build.yml
@@ -204,7 +204,7 @@ jobs:
         run: |
           .github/ci.sh sign "${NAME}.tar.gz"
 
-      - uses: actions/upload-artifact@v2
+      - uses: actions/upload-artifact@v4
         if: github.repository == 'GaloisInc/crucible'
         with:
           path: crux-mir-*.tar.gz*