Skip to content

ci: route private required gates to org pool#11

Merged
kazukinakai merged 2 commits into
mainfrom
codex/org-required-runner
Jul 24, 2026
Merged

ci: route private required gates to org pool#11
kazukinakai merged 2 commits into
mainfrom
codex/org-required-runner

Conversation

@kazukinakai

Copy link
Copy Markdown
Member

Use one organization-wide required runner scale set for every private repository.

  • remove repository-specific routing from the organization caller
  • keep public repositories on GitHub-hosted runners
  • assert no repository exception in the wiring contract

This matches the org policy that the required workflow has no per-repository opt-out.

@kazukinakai
kazukinakai enabled auto-merge July 24, 2026 22:16
@kazukinakai
kazukinakai merged commit 157b20d into main Jul 24, 2026
11 checks passed
@kazukinakai
kazukinakai deleted the codex/org-required-runner branch July 25, 2026 09:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant