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