Repository navigation

CI: Skip the heavy workflows on docs-only PRs - #1610

Merged

huang195 merged 3 commits into

rossoctl:mainfrom

huang195:ci/skip-docs-only-prs

Oct 30, 2026

Merged

CI: Skip the heavy workflows on docs-only PRs#1610
huang195 merged 3 commits into
rossoctl:mainfrom
huang195:ci/skip-docs-only-prs

Commits on Oct 30, 2026
- CI: Skip the heavy workflows on docs-only PRs
  huang195
  committed
  2642ce6
- CI: Keep pre-commit running on docs-only PRs
  huang195
  committed
  27764b8
- CI: Drop the ci.yaml docs filter and the spellcheck pre-commit job
  huang195
  committed
  60baf1e