From 0952a6ecf0811663f21379371707abc679a9cea4 Mon Sep 17 00:00:00 2001 From: Jiuyang Liu Date: Thu, 29 Jul 2021 11:16:55 +0800 Subject: don't hit cache --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github') 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: | -- cgit v1.2.3