Skip to content

[dx] improve skipper with nested */dir/* paths#8063

Merged
TomasVotruba merged 1 commit into
mainfrom
tv-skip-3
Jun 20, 2026
Merged

[dx] improve skipper with nested */dir/* paths#8063
TomasVotruba merged 1 commit into
mainfrom
tv-skip-3

Conversation

@TomasVotruba

Copy link
Copy Markdown
Member

No description provided.

@TomasVotruba TomasVotruba changed the title improve skipper with nested */dir/* paths [dx] improve skipper with nested */dir/* paths Jun 20, 2026
@TomasVotruba TomasVotruba enabled auto-merge (squash) June 20, 2026 13:34
@TomasVotruba TomasVotruba merged commit af7a302 into main Jun 20, 2026
66 checks passed
@TomasVotruba TomasVotruba deleted the tv-skip-3 branch June 20, 2026 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant