mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-10 15:20:30 +00:00
Code Activity

update report

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-03-09 09:34:33 -07:00
parent 8a146a92ec
commit 56d15655a7
3 changed files with 1127 additions and 33 deletions
Download patch file Download diff file Expand all files Collapse all files

1118
.github/workflows/memory-safety-report.lock.yml generated vendored Normal file
View file

File diff suppressed because it is too large Load diff

4
.github/workflows/memory-safety-report.md vendored
View file

@ -15,7 +15,7 @@ timeout-minutes: 30
permissions:
actions: read
contents: read
discussions: write
discussions: read
network: defaults
@ -202,4 +202,4 @@ Store the current run's results in cache memory for future comparison:
- **DO NOT** attempt to fix the findings automatically.
- **DO** close older Memory Safety discussions automatically (configured via `close-older-discussions: true`).
- **DO** always report the commit SHA so findings can be correlated with specific code versions.
- **DO** use cache memory to track trends over multiple runs.
- **DO** use cache memory to track trends over multiple runs.