mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-14 17:19:59 +00:00
Code Activity

Merge pull request #8909 from angelica-moreira/memory-safety-pipeline

Browse source 
fix: pass GH_TOKEN to memory safety report workflow
This commit is contained in:
Nikolaj Bjorner 2026-03-09 18:58:04 -07:00 • committed by GitHub
commit 1009b13acd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -17,6 +17,9 @@ permissions:
contents: read
discussions: read
env:
GH_TOKEN: ${{ github.token }}
network: defaults
tools: