Skip to content

ci: doc-only PR fast path via a single ci-gate aggregator#31

Merged
guysenpai merged 1 commit into
mainfrom
ci/doc-only-gate
Jun 24, 2026
Merged

ci: doc-only PR fast path via a single ci-gate aggregator#31
guysenpai merged 1 commit into
mainfrom
ci/doc-only-gate

Conversation

@guysenpai

Copy link
Copy Markdown
Contributor

Option B CI restructuring. New job changes detects non-doc diffs; build-and-test + the two smoke jobs are gated on code==true; new ci-gate aggregator becomes the single required status check (green on success or skipped, red on failure/cancelled). bench.yml gains paths-ignore on both triggers. This PR touches .github/** so code==true: the 4 build-and-test cells run and satisfy current branch protection. After merge, Guy switches branch protection to require ci-gate only. No source change.

@guysenpai guysenpai merged commit aad6894 into main Jun 24, 2026
10 checks passed
@guysenpai guysenpai deleted the ci/doc-only-gate branch June 24, 2026 13:55
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