From 6908afdecf569147e021a47a1651ed2736c414fe Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 28 Jun 2023 09:09:23 -0700
Subject: [PATCH] CI: fix path for cabal global store.

The GitHub action now uses `$XDG_STATE_HOME/cabal`, which is
why our cache wasn't working.

See https://github.com/haskell/actions/issues/210
---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cb1201825..ea6c635b4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -85,7 +85,7 @@ jobs:
       uses: actions/cache@v3
       with:
         path: |
-          ~/.cabal
+          $XDG_STATE_HOME/cabal
         key: ${{ runner.os }}-${{ matrix.versions.ghc }}-${{ matrix.versions.cabal }}-cabal-global-${{ secrets.CACHE_VERSION }}
 
     - name: Cache cabal work
@@ -152,7 +152,7 @@ jobs:
       uses: actions/cache@v3
       with:
         path: |
-          ~/.cabal
+          $XDG_STATE_HOME/cabal
         key: ${{ runner.os }}-nix-cabal-global-${{ secrets.CACHE_VERSION }}
     - name: Cache cabal work
       id:   cabal-local