mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-02 23:27:53 +00:00
Code Activity

fix: pass GH_TOKEN to memory safety report workflow

Browse source 
The reporting workflow needs explicit GH_TOKEN env to download
artifacts from the triggering workflow run via gh CLI.
This commit is contained in:
Angelica Moreira 2026-03-09 21:49:22 +00:00
parent 123bb620d4
commit 1cba7cb5ee
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 contents: read
discussions: write discussions: write
env:
GH_TOKEN: ${{ github.token }}
network: defaults network: defaults
tools: tools: