From 04979387bbc02c01048aeaeec97a7456244bc88b Mon Sep 17 00:00:00 2001 From: quantumshiro Date: Mon, 16 Jun 2025 00:01:31 +0900 Subject: [PATCH] chore: Upgrade actions/cache and actions/upload-artifact to v4 --- .github/workflows/kani-verification.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/kani-verification.yml b/.github/workflows/kani-verification.yml index a97bca9..784d354 100644 --- a/.github/workflows/kani-verification.yml +++ b/.github/workflows/kani-verification.yml @@ -32,7 +32,7 @@ jobs: components: rustfmt, clippy - name: Cache cargo registry - uses: actions/cache@v3 + uses: actions/cache@v4 with: path: | ~/.cargo/registry @@ -123,7 +123,7 @@ jobs: } - name: Upload verification results - uses: actions/upload-artifact@v3 + uses: actions/upload-artifact@v4 if: always() with: name: kani-verification-results