From ca863ea404251d4a0a4dfce9dc607fc98001644f Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 22 Sep 2025 08:29:09 +0000
Subject: [PATCH] Revert "Cache dependencies for CI jobs (#4181)"

This reverts commit ada8ed3d9b3e22f7005ed18746fe8372644c2122: caching
.rustup means we just keep piling up toolchains. We already have 6 GB as
cache size, and will eventually just hit the 10 GB limit and not be
caching anything anymore.

We could revisit caching to build something more effective, but also
possible effects of caching are somewhat negligible anyway.
---
 .github/workflows/bench-compiler.yml   | 24 -----------------------
 .github/workflows/kani.yml             | 27 --------------------------
 .github/workflows/verify-std-check.yml |  8 --------
 3 files changed, 59 deletions(-)

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: