Rebuild z3 if options have changed

ref #24
Componolit · Nov 10, 2021 · 87f2c8d · 87f2c8d
1 parent 0c2b832
commit 87f2c8d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -30,7 +30,7 @@ jobs:
           path: |
               z3/z3/build/libz3.so
               z3/z3/build/Makefile
-          key: ${{ hashFiles('z3/z3/CMakeLists.txt') }}
+          key: ${{ hashFiles('z3/z3/CMakeLists.txt', 'Makefile') }}
     - name: Test
       run: |
         make test