Skip whole CI legs for documentation/.github-only PRs#14384

Open

jankratochvilcz wants to merge 6 commits into

mainfrom

skip-ci-jobs-for-docs-only

Commits on Jul 15, 2026

Skip whole CI legs (not just steps) for documentation/.github-only PRs

jankratochvilcz
and
Copilot
committed
Make docs-only CI gate fail-open

jankratochvilcz
and
Copilot
committed
Harden docs-only detection with detection-level fail-open

jankratochvilcz
and
Copilot
committed

Commits on Jul 16, 2026

Extract repeated docs-only gate condition into a pipeline parameter

jankratochvilcz
and
Copilot
committed
Run docs-only gate on Microsoft-hosted pool, not congested self-hosted

jankratochvilcz
and
Copilot
committed
Revert docs-only gate to self-hosted NetCore-Public pool

jankratochvilcz
and
Copilot
committed