From d75646c3f6e0c84936985ce6a97c507563a29eac Mon Sep 17 00:00:00 2001
From: Jacques Carette <carette@mcmaster.ca>
Date: Tue, 8 Aug 2023 13:33:19 -0400
Subject: [PATCH] try one more variant of caching

---
 .github/workflows/ci-ubuntu.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
index f3b6239a0..a4267ff7b 100644
--- a/.github/workflows/ci-ubuntu.yml
+++ b/.github/workflows/ci-ubuntu.yml
@@ -87,10 +87,10 @@ jobs:
         id: cache-cabal
         with:
           path: |
-            ~/.local/state/cabal/packages
-            ~/.local/state/cabal/store
-            ~/.local/state/cabal/bin
-            ~/.local/bin
+            ~/.cabal/packages
+            ~/.cabal/store
+            ~/.cabal/bin
+            ~/.cabal/share
           key: ${{ runner.os }}-${{ env.GHC_VERSION }}-${{ env.CABAL_VERSION }}-${{ env.AGDA_COMMIT }}
 
 ########################################################################