diff options
| author | Andreas Källberg <anka.213@gmail.com> | 2022-03-05 10:04:36 +0800 |
|---|---|---|
| committer | Andreas Källberg <anka.213@gmail.com> | 2022-03-05 12:24:10 +0800 |
| commit | aefac8467049947e4c1ee96694e7aec3e0648d7e (patch) | |
| tree | 51669044dc28e6eaf1cac414dfd4b923379a532e /.github/workflows | |
| parent | e4b2f281d97f97317df37b5e296cea371c334f37 (diff) | |
Clear stack cache and make cache-key more fine-grained
Attempt at fixing #137
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build-all-versions.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build-all-versions.yml b/.github/workflows/build-all-versions.yml index 9ab8a0622..33cc3668d 100644 --- a/.github/workflows/build-all-versions.yml +++ b/.github/workflows/build-all-versions.yml @@ -84,7 +84,7 @@ jobs: name: Cache ~/.stack with: path: ~/.stack - key: ${{ runner.os }}-${{ matrix.ghc }}-stack + key: ${{ runner.os }}-${{ matrix.ghc }}-stack--${{ hashFiles(format('stack-ghc{0}', matrix.ghc)) }} - name: Build run: | |