bump cache version for z3 (#14650)

This commit is contained in:
Christopher Milan
2026-02-09 16:32:07 -08:00
committed by GitHub
parent 9e3f24db9f
commit 396e1320fb

View File

@@ -1,7 +1,7 @@
name: Unit Tests
env:
# increment this when downloads substantially change to avoid the internet
CACHE_VERSION: '15'
CACHE_VERSION: '16'
CAPTURE_PROCESS_REPLAY: 1
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PYTHONPATH: ${{ github.workspace }}