mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-09 18:40:51 +00:00
Code Activity

Clear cache for code-conventions-analyzer by changing cache key

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-01-31 23:42:14 +00:00
parent 286994a3af
commit df0b658e5d
2 changed files with 25 additions and 1052 deletions
Download patch file Download diff file Expand all files Collapse all files

1074
.github/workflows/code-conventions-analyzer.lock.yml generated vendored
View file

File diff suppressed because it is too large Load diff

3
.github/workflows/code-conventions-analyzer.md vendored
View file

@ -6,7 +6,8 @@ on:
workflow_dispatch:
permissions: read-all
tools:
cache-memory: true
cache-memory:
key: conventions-cache-${{ github.workflow }}-${{ github.run_id }}
github:
toolsets: [default]
view: {}