Skip to content

Exclude infra directory#266

Merged
wusatosi merged 1 commit intomainfrom
river/global-exclude-pc
Oct 6, 2025
Merged

Exclude infra directory#266
wusatosi merged 1 commit intomainfrom
river/global-exclude-pc

Conversation

@wusatosi
Copy link
Copy Markdown
Member

@wusatosi wusatosi commented Oct 6, 2025

Closes #265

@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 100.0%. remained the same
when pulling 7401c6e on river/global-exclude-pc
into 8a08729 on main.

@wusatosi wusatosi merged commit 45e36a5 into main Oct 6, 2025
93 checks passed
@wusatosi wusatosi deleted the river/global-exclude-pc branch October 6, 2025 18:02
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.

Pre-commit should ignore files in infra/

3 participants