Repository navigation

chore(ci): stop burning runs on superseded pushes and docs-only PRs - #135

Merged

ManSio merged 3 commits into

mainfrom

chore/ci-cost-control

Nov 15, 2026

Merged

chore(ci): stop burning runs on superseded pushes and docs-only PRs#135
ManSio merged 3 commits into
mainfrom
chore/ci-cost-control

Commits on Nov 15, 2026
- chore(ci): cancel superseded PR runs and skip heavy jobs for docs-only changes
  MSCodeBase Agent
  committed
  023928d
- Merge remote-tracking branch 'origin/main' into chore/ci-cost-control
  MSCodeBase Agent
  committed
  e1983f5
- test: make the red-team coverage check independent of worker order
  MSCodeBase Agent
  committed
  2a49b2d