Skip to content

fix: harden CI workflow: switch to pull_request trigger and remove unnecessary id-token:write#214

Merged
gvanrossum merged 2 commits intomicrosoft:mainfrom
hgvfhsrtyvrt456vtg:fix/ci-security
Mar 5, 2026
Merged

fix: harden CI workflow: switch to pull_request trigger and remove unnecessary id-token:write#214
gvanrossum merged 2 commits intomicrosoft:mainfrom
hgvfhsrtyvrt456vtg:fix/ci-security

Commits

Commits on Mar 5, 2026