chore(ci): Refresh keyset cache

This commit is contained in:
Quentin Bourgerie
2022-02-16 17:35:07 +01:00
parent 7f0be306f0
commit 9df379d72b

View File

@@ -51,9 +51,7 @@ jobs:
with:
path: ${{ github.workspace }}/KeySetCache
# actions/cache does not permit to update a cache entry
key: ${{ runner.os }}-KeySetCache-2021-12-02
restore-keys: |
${{ runner.os }}-KeySetCache-
key: ${{ runner.os }}-KeySetCache-2022-02-17
- name: Build and test compiler
if: ${{ matrix.compiler == 'gcc7' }}
@@ -171,9 +169,7 @@ jobs:
with:
path: ${{ github.workspace }}/KeySetCache
# actions/cache does not permit to update a cache entry
key: ${{ runner.os }}-KeySetCache-2021-12-02
restore-keys: |
${{ runner.os }}-KeySetCache-
key: ${{ runner.os }}-KeySetCache-2022-02-17
- name: Build and test compiler (dataflow)
uses: addnab/docker-run-action@v3