mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-19 15:04:42 +00:00
Code Activity

Remove GITHUB_READ_ONLY flag blocking Actions log retrieval in build-warning-fixer (#8128)

Browse source 
* Initial plan

* Remove GITHUB_READ_ONLY=1 flag to allow log retrieval in build-warning-fixer

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
Copilot 2026-01-08 20:07:16 -08:00 • committed by Nikolaj Bjorner
parent d8a6007385
commit 2e7c7f47bb
2 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/build-warning-fixer.lock.yml generated vendored
View file

@ -343,8 +343,6 @@ jobs:
"-e",
"GITHUB_PERSONAL_ACCESS_TOKEN",
"-e",
"GITHUB_READ_ONLY=1",
"-e",
"GITHUB_LOCKDOWN_MODE=$GITHUB_MCP_LOCKDOWN",
"-e",
"GITHUB_TOOLSETS=context,repos,issues,pull_requests,actions",

1
.github/workflows/build-warning-fixer.md vendored
View file

@ -7,6 +7,7 @@ permissions: read-all
tools:
github:
toolsets: [default, actions]
read-only: false
agentic-workflows:
view: {}
grep: {}