diff options
| author | John MacFarlane <[email protected]> | 2023-06-28 10:32:37 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-06-28 10:32:37 -0700 |
| commit | 61e3d84b558e35482c0fb30d3b80a6feacae7130 (patch) | |
| tree | d880a346caa1c22874cb10a89e534776e9e31a29 /.github | |
| parent | 6908afdecf569147e021a47a1651ed2736c414fe (diff) | |
CI: Another try to specify cabal store directory.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
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 |
