summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2023-03-04 11:05:54 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2023-03-04 11:05:54 -0800
commit572f3259a914a5bf8b86b355b9612c1ab076ff5d (patch)
tree58db9c6356686f3f3574fb090549277dbaa05347
parent8701da67bee6b12dcf1641bbd9db81f4f36d4fe8 (diff)
Another attempt to fix windows CI caching.
-rw-r--r--.github/workflows/ci.yml9
1 files changed, 2 insertions, 7 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e1a1276d1..e0a3a65f2 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -162,11 +162,6 @@ 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
@@ -174,8 +169,8 @@ jobs:
uses: actions/cache@v3
with:
path: |
- ${{ env.APPDATA }}/cabal/store
- key: ${{ runner.os }}-appdata-roaming-cabal-${{ hashFiles('cabal.project') }}-${{ secrets.CACHE_VERSION }}
+ %AppData%/cabal/store
+ key: ${{ runner.os }}-appdata-cabal-${{ hashFiles('cabal.project') }}-${{ secrets.CACHE_VERSION }}
- name: Cache cabal work
id: cabal-local