Skip to content

feat: filter pr ci for just doc related changes#578

Merged
sayakpaul merged 2 commits into
mainfrom
filter-pr-ci-for-doc-changes
May 22, 2026
Merged

feat: filter pr ci for just doc related changes#578
sayakpaul merged 2 commits into
mainfrom
filter-pr-ci-for-doc-changes

Conversation

@sayakpaul
Copy link
Copy Markdown
Member

For just changes to *.md and docs/*, I don't think it makes sense to run stuff like Nix checks. This PR filters them accordingly.

@sayakpaul sayakpaul merged commit ed96011 into main May 22, 2026
65 checks passed
@sayakpaul sayakpaul deleted the filter-pr-ci-for-doc-changes branch May 22, 2026 09:55
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.

2 participants