diff --git a/.github/workflows/bench-compiler.yml b/.github/workflows/bench-compiler.yml
index c7dbe7d88747..2793ee6fb05f 100644
--- a/.github/workflows/bench-compiler.yml
+++ b/.github/workflows/bench-compiler.yml
@@ -37,6 +37,18 @@ 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:
@@ -101,6 +113,18 @@ 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 5892ba13d26a..650a23d748b0 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -23,6 +23,13 @@ jobs:
       - name: Checkout Kani
         uses: actions/checkout@v4
 
+      - 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:
@@ -43,6 +50,13 @@ 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:
@@ -60,6 +74,13 @@ jobs:
       - name: Checkout Kani
         uses: actions/checkout@v4
 
+      - 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:
@@ -76,6 +97,12 @@ jobs:
       - name: Checkout Kani
         uses: actions/checkout@v4
 
+      - 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 79d79cca3492..78a8dddfb326 100644
--- a/.github/workflows/verify-std-check.yml
+++ b/.github/workflows/verify-std-check.yml
@@ -41,6 +41,14 @@ 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: