diff --git a/.github/workflows/bench-compiler.yml b/.github/workflows/bench-compiler.yml
index bf4bd6deafe9..55b032d10986 100644
--- a/.github/workflows/bench-compiler.yml
+++ b/.github/workflows/bench-compiler.yml
@@ -39,18 +39,6 @@ jobs:
           ref: ${{ env.NEW_REF }}
           fetch-depth: 1
 
-      - name: Cache Kani build artifacts
-        uses: Swatinem/rust-cache@v2
-        with:
-          cache-on-failure: true
-          shared-key: "kani-rust-cache-bench"
-          workspaces: |
-            new
-            new/tools/compile-timer
-            old
-            old/tools/compile-timer
-          cache-directories: "~/.rustup"
-
       - name: Set up Kani Dependencies (old variant)
         uses: ./old/.github/actions/setup
         with:
@@ -115,18 +103,6 @@ jobs:
           ref: ${{ env.NEW_REF }}
           fetch-depth: 1
 
-      - name: Cache Kani build artifacts
-        uses: Swatinem/rust-cache@v2
-        with:
-          cache-on-failure: true
-          shared-key: "kani-rust-cache-bench"
-          workspaces: |
-            new
-            new/tools/compile-timer
-            old
-            old/tools/compile-timer
-          cache-directories: "~/.rustup"
-
       - name: Set up Kani Dependencies (old variant)
         uses: ./old/.github/actions/setup
         with:
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 911a09eac496..efd27481493f 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -23,13 +23,6 @@ jobs:
       - name: Checkout Kani
         uses: actions/checkout@v5
 
-      - name: Cache Kani build artifacts
-        uses: Swatinem/rust-cache@v2
-        with:
-          cache-on-failure: true
-          shared-key: "kani-rust-cache-dev"
-          cache-directories: "~/.rustup"
-
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
@@ -50,13 +43,6 @@ jobs:
           sudo apt-get install -y python3-pip
           pushd tools/benchcomp && pip3 install -r requirements.txt
 
-      - name: Cache Kani build artifacts
-        uses: Swatinem/rust-cache@v2
-        with:
-          cache-on-failure: true
-          shared-key: "kani-rust-cache-release"
-          cache-directories: "~/.rustup"
-
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
@@ -74,13 +60,6 @@ jobs:
       - name: Checkout Kani
         uses: actions/checkout@v5
 
-      - name: Cache Kani build artifacts
-        uses: Swatinem/rust-cache@v2
-        with:
-          cache-on-failure: true
-          shared-key: "kani-rust-cache-release"
-          cache-directories: "~/.rustup"
-
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
@@ -97,12 +76,6 @@ jobs:
       - name: Checkout Kani
         uses: actions/checkout@v5
 
-      - name: Cache Kani build artifacts
-        uses: Swatinem/rust-cache@v2
-        with:
-          cache-on-failure: true
-          cache-directories: "~/.rustup"
-
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
diff --git a/.github/workflows/verify-std-check.yml b/.github/workflows/verify-std-check.yml
index f1fc12904b63..88bacb7ebd56 100644
--- a/.github/workflows/verify-std-check.yml
+++ b/.github/workflows/verify-std-check.yml
@@ -43,14 +43,6 @@ jobs:
           path: kani
           fetch-depth: 0
 
-      - name: Cache Kani build artifacts
-        uses: Swatinem/rust-cache@v2
-        with:
-          cache-on-failure: true
-          workspaces: kani
-          shared-key: "kani-rust-cache-dev"
-          cache-directories: "~/.rustup"
-
       - name: Setup Kani Dependencies
         uses: ./kani/.github/actions/setup
         with: