summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2023-03-04 10:17:52 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2023-03-04 10:17:52 -0800
commitbdb65152e78ed35277e0090f25609f957d4eb749 (patch)
tree96e1c988706871a7c91e8bfc302ea445727e0d49 /.github/workflows
parent6feeb0fe37a007bd1fff55bab8b90a531b87c0b5 (diff)
Another try at fixing Windows CI caching.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/ci.yml7
1 files changed, 6 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 83ee4c04e..8c9c84698 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -149,6 +149,11 @@ jobs:
steps:
- uses: actions/checkout@v3
+ # x=$x exports the envvar to GitHub Actions' scope.
+ - name: Set up environment variables
+ run: |
+ echo "APPDATA=$APPDATA" >> $GITHUB_ENV
+
# declare/restore cached things
- name: Cache cabal global package db
@@ -156,7 +161,7 @@ jobs:
uses: actions/cache@v3
with:
path: |
- %AppData%\Roaming\cabal\store
+ ${{ env.APPDATA }}/cabal/store
key: ${{ runner.os }}-appdata-roaming-cabal-${{ hashFiles('cabal.project') }}-${{ secrets.CACHE_VERSION }}
- name: Cache cabal work