Bump upload-artifact as well

model-checking · Sep 3, 2024 · 28099da · 28099da
1 parent 0d6a0e8
commit 28099da
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.4.0
       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.4.0
       with:
         name: ${{ env.PKG }}
         path: ${{ env.PKG }}