diff options
| author | Jiuyang Liu | 2021-07-29 11:16:55 +0800 |
|---|---|---|
| committer | Jiuyang Liu | 2021-08-18 12:56:07 +0800 |
| commit | 0952a6ecf0811663f21379371707abc679a9cea4 (patch) | |
| tree | 08a7acc98c976400539a5349499b27927682b866 /.github/workflows | |
| parent | b940d9f83f87567fe69c068a1faf63fd8d3bf091 (diff) | |
don't hit cache
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/test.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 10742b96..dca07648 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -35,7 +35,7 @@ jobs: id: cache-z3 with: path: z3-z3-${{ matrix.z3 }} - key: ${{ matrix.system }}-z3-${{ matrix.z3 }} + key: ${{ matrix.system }}-z3-ninja-${{ matrix.z3 }} - name: Compile Z3 if: steps.cache-z3.outputs.cache-hit != 'true' run: | |