feat(ci): mint the gateway token from a GitHub identity token - #1242

Closed

brandonleung wants to merge 6 commits into

mainfrom

brandon/wizard-ci-oidc

Commits on Sep 10, 2026

feat(ci): mint the gateway token from a GitHub identity token

brandonleung
and
claude
committed
b19ec31
fix(ci): actually keep the identity-token request out of the sandbox

brandonleung
and
claude
committed
031442a
fix(ci): request the identity token where it is spent, and fail without it

brandonleung
and
claude
committed
c2b35d6
chore(ci): correct a comment the fail-closed change made false

brandonleung
and
claude
committed
702d87a
feat(ci): request a fresh GitHub identity token for every mint

brandonleung
and
claude
committed
53b46b2
chore(ci): cut CI comments to what the code cannot say

brandonleung
and
claude
committed
0ad55f5