mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Manually invalidate cache for dist-newstyle
This commit is contained in:
parent
2b12784e63
commit
4c9ee03b59
6
.github/workflows/build.yml
vendored
6
.github/workflows/build.yml
vendored
@ -66,10 +66,10 @@ jobs:
|
||||
name: Cache dist-newstyle
|
||||
with:
|
||||
path: dist-newstyle
|
||||
key: dist-${{ runner.os }}-${{ matrix.ghc }}-${{ hashFiles('**/cabal.GHC-*') }}-${{ github.sha }}
|
||||
key: dist-newstyle-${{ runner.os }}-${{ matrix.ghc }}-${{ hashFiles('**/cabal.GHC-*') }}-${{ github.sha }}
|
||||
restore-keys: |
|
||||
dist-${{ runner.os }}-${{ matrix.ghc }}-${{ hashFiles('**/cabal.GHC-*') }}-
|
||||
dist-${{ runner.os }}-${{ matrix.ghc }}-
|
||||
dist-newstyle-${{ runner.os }}-${{ matrix.ghc }}-${{ hashFiles('**/cabal.GHC-*') }}-
|
||||
dist-newstyle-${{ runner.os }}-${{ matrix.ghc }}-
|
||||
|
||||
- shell: bash
|
||||
run: .github/ci.sh install_system_deps
|
||||
|
Loading…
Reference in New Issue
Block a user