Skip to content

Skip if is used in closure#614

Merged
TomasVotruba merged 1 commit intomainfrom
tv-skip-use
Jan 26, 2026
Merged

Skip if is used in closure#614
TomasVotruba merged 1 commit intomainfrom
tv-skip-use

Conversation

@TomasVotruba
Copy link
Member

No description provided.

@TomasVotruba TomasVotruba changed the title Is used in closure Skip if is used in closure Jan 26, 2026
@TomasVotruba TomasVotruba enabled auto-merge (squash) January 26, 2026 16:34
@TomasVotruba TomasVotruba merged commit 82d18f1 into main Jan 26, 2026
7 checks passed
@TomasVotruba TomasVotruba deleted the tv-skip-use branch January 26, 2026 16:34
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.

1 participant