From 9583ecee10404845087575058577957cc939e318 Mon Sep 17 00:00:00 2001
From: Daniel Britten <daniel.britten@nethermind.io>
Date: Tue, 22 Oct 2024 12:10:25 +1300
Subject: [PATCH] Remove problematic manual caching in GitHub Actions

---
 .github/workflows/main.yml | 14 +-------------
 1 file changed, 1 insertion(+), 13 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 094c4d2..5793f64 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -18,19 +18,7 @@ jobs:
         uses: DeterminateSystems/nix-installer-action@v14
       - name: Magic Nix Cache
         uses: DeterminateSystems/magic-nix-cache-action@v8
-      - name: Cache Lean toolchain
-        uses: actions/cache@v4.1.0
-        with:
-          path: ~/.elan/toolchains
-          key: ${{ runner.os }}-lean-toolchain-${{ hashFiles('lean-toolchain') }}
-      - name: Cache Lean packages
-        id: cache-lean-packages
-        uses: actions/cache@v4.1.0
-        with:
-          path: .lake/packages
-          key: ${{ runner.os }}-lean-packages-${{ hashFiles('lake-manifest.json') }}
-      - if: ${{ steps.cache-lean-packages.outputs.cache-hit != 'true' }}
-        name: Get Mathlib cache
+      - name: Get Mathlib cache
         run: nix-shell --run "lake exe cache get"
       - name: Build vc tool
         run: nix-shell --run "cd vc; stack --nix build"