max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: try with fresh cache

Browse source
This commit is contained in:
Sebastian Ullrich 2022-05-11 10:38:00 +02:00
parent 94d2a3ef86
commit 23fac14b33
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/ci.yml vendored
View file

@ -136,10 +136,10 @@ jobs:
uses: actions/cache@v2
with:
path: .ccache
key: ${{ matrix.name }}-build-${{ github.sha }}
key: ${{ matrix.name }}-build-v2-${{ github.sha }}
# fall back to (latest) previous cache
restore-keys: |
${{ matrix.name }}-build
${{ matrix.name }}-build-v2
- name: Setup
run: |
# open nix-shell once for initial setup