Skip to content

ci: run Build & Test & Lint on docs-only PRs#538

Merged
corinagum merged 1 commit into
mainfrom
cg/docs-only-ci
May 28, 2026
Merged

ci: run Build & Test & Lint on docs-only PRs#538
corinagum merged 1 commit into
mainfrom
cg/docs-only-ci

Conversation

@corinagum
Copy link
Copy Markdown
Collaborator

@corinagum corinagum commented May 28, 2026

Summary

  • Removes the paths-ignore filter from the pull_request and push triggers of Build & Test & Lint.
  • Why: the workflow's check is a required status check. When paths-ignore filtered out every file in a PR (e.g. a docs-only change), the workflow was skipped, the required check never posted, and the PR could not merge.
  • Trade-off: docs-only PRs now run the full build. The alternative (a sibling always-pass workflow that posts the required check name) adds more moving parts than it saves for this repo's PR volume.
  • This is also a hygiene improvement now that the merge queue is enabled — required-check-not-posting failure modes are even more annoying inside the queue.

Test plan

  • Confirm CI runs on this PR
  • After merge, open a docs-only PR and confirm the check posts and the PR is mergeable

Copilot AI review requested due to automatic review settings May 28, 2026 19:02
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

Remove the `paths-ignore` filter from the `pull_request` and `push`
triggers. The workflow's check is a required status check, so when
`paths-ignore` filtered out every changed file the workflow was
skipped and the required check never posted, blocking docs-only PRs
from merging.

Trade-off: docs-only PRs now run the full build. Cost is small and
the alternative (a companion always-pass workflow) adds more moving
parts than it saves.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@corinagum corinagum added this pull request to the merge queue May 28, 2026
Merged via the queue into main with commit d822fc1 May 28, 2026
7 checks passed
@corinagum corinagum deleted the cg/docs-only-ci branch May 28, 2026 19:42
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.

3 participants