aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJohn MacFarlane <[email protected]>2023-06-28 10:32:37 -0700
committerJohn MacFarlane <[email protected]>2023-06-28 10:32:37 -0700
commit61e3d84b558e35482c0fb30d3b80a6feacae7130 (patch)
treed880a346caa1c22874cb10a89e534776e9e31a29 /.github
parent6908afdecf569147e021a47a1651ed2736c414fe (diff)
CI: Another try to specify cabal store directory.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ea6c635b4..ef3992139 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -85,7 +85,7 @@ jobs:
uses: actions/cache@v3
with:
path: |
- $XDG_STATE_HOME/cabal
+ ~/.local/state/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: |
- $XDG_STATE_HOME/cabal
+ ~/.local/state/cabal
key: ${{ runner.os }}-nix-cabal-global-${{ secrets.CACHE_VERSION }}
- name: Cache cabal work
id: cabal-local