Sync upload-artifact version

download-artifact requires this matching major version.
model-checking · Dec 14, 2023 · 86879e8 · 86879e8
1 parent 463c1e0
commit 86879e8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/actions/build-bundle/action.yml b/.github/actions/build-bundle/action.yml
@@ -65,7 +65,7 @@ runs:
         echo "PKG=${{ inputs.os }}-kani-verifier.crate" >> $GITHUB_ENV
 
     - name: Upload bundle
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: ${{ env.BUNDLE }}
         path: ${{ env.BUNDLE }}
@@ -74,7 +74,7 @@ runs:
         retention-days: 3
 
     - name: Upload kani-verifier pkg
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: ${{ env.PKG }}
         path: ${{ env.PKG }}