Skip to content

Merge rule: docs-only PRs merge on local gates, no CI wait - #577

Merged
pftg merged 1 commit into
masterfrom
docs/merge-rule-docs-only
Aug 22, 2026
Merged

Merge rule: docs-only PRs merge on local gates, no CI wait#577
pftg merged 1 commit into
masterfrom
docs/merge-rule-docs-only

Merge rule: docs/instruction/tooling-only PRs do not wait for CI

26dad31
Select commit
Loading
Failed to load commit list.

There are no checks for this commit