From fdb9c90ccd36c5e77b8346f120453bbcfeaf724f Mon Sep 17 00:00:00 2001
From: "ajeffrey@roblox.com" <ajeffrey@roblox.com>
Date: Tue, 8 Feb 2022 13:57:32 -0600
Subject: [PATCH] Another shot at caching

---
 .github/workflows/prototyping.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index 190660d5..368d6c92 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -23,9 +23,7 @@ jobs:
     - uses: actions/checkout@v1
     - uses: actions/cache@v2
       with:
-        path: |
-          ~/.cabal/store
-          build
+        path: ~/.cabal/store
         key: prototyping-${{ runner.os }}-${{ matrix.agda }}
     - name: install cabal
       run: sudo apt-get install -y cabal-install