Merge pull request #14 from NethermindEth/fix-building-with-GitHub-Ac…

…tions

Remove problematic manual caching in GitHub Actions

.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/[email protected]
-        with:
-          path: ~/.elan/toolchains
-          key: ${{ runner.os }}-lean-toolchain-${{ hashFiles('lean-toolchain') }}
-      - name: Cache Lean packages
-        id: cache-lean-packages
-        uses: actions/[email protected]
-        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"