Merge pull request #54 from sei-eschwartz/main

Don't create so many caches
cmu-sei · Oct 3, 2023 · 944f94c · 944f94c
2 parents b61e44e + 71c901c
commit 944f94c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/run_tests_on_push_pr.yml b/.github/workflows/run_tests_on_push_pr.yml
@@ -24,6 +24,8 @@ jobs:
     - uses: actions/checkout@v3
     - name: Set up ccache
       uses: hendrikmuhs/ccache-action@v1.2
+      with:
+        key: z3-ccache
     - name: Set up ccache PATH
       run: |
         export PATH="/usr/lib/ccache:/usr/local/opt/ccache/libexec:$PATH"