Skip to content

Fix test filter to work with dot-dirs#19318

Merged
Gankra merged 1 commit into
mainfrom
gankra/filter
May 7, 2026
Merged

Fix test filter to work with dot-dirs#19318
Gankra merged 1 commit into
mainfrom
gankra/filter

Conversation

@Gankra

@Gankra Gankra commented May 7, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@Gankra Gankra added the internal A refactor or improvement that is not user-facing label May 7, 2026
@Gankra Gankra merged commit ce8b491 into main May 7, 2026
55 checks passed
@Gankra Gankra deleted the gankra/filter branch May 7, 2026 16:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal A refactor or improvement that is not user-facing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants