mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-29 02:03:49 +00:00
Code Activity

Fix agentic workflow auth by using Actions token-based Copilot inference

Browse source 
The COPILOT_GITHUB_TOKEN PAT secret expired, causing HTTP 401 auth
failures in all agentic workflows that referenced it. Switch these
workflows to GitHub Actions token-based Copilot inference by adding
'copilot-requests: write' to their permissions (matching the already-
working code-simplifier and release-notes-updater workflows), so the
engine uses the ephemeral github.token instead of the expired PAT.

Recompiled with gh-aw v0.81.6 (repo's pinned version) to keep the diff
minimal. Affected: api-coherence-checker, issue-backlog-processor,
memory-safety-report, academic-citation-tracker, smtlib-benchmark-finder,
workflow-suggestion-agent, specbot-crash-analyzer, tptp-benchmark.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 57b9b87e-950a-49ea-bbb3-ed585646a5a9
This commit is contained in:
Nikolaj Bjorner 2026-07-28 02:22:11 -07:00
parent 18d8d7a7bd
commit b1168b4868
17 changed files with 142 additions and 131 deletions
Download patch file Download diff file Expand all files Collapse all files

7
.github/workflows/issue-backlog-processor.md vendored
View file

@ -5,7 +5,12 @@ on:
schedule: every 2 days
workflow_dispatch:
permissions: read-all
permissions:
contents: read
issues: read
pull-requests: read
discussions: read
copilot-requests: write
tools:
cache-memory: true