Skip to content

skip non string default in AddParamStringTypeFromSprintfUseRector#7483

Merged
TomasVotruba merged 1 commit into
mainfrom
tv-skip-default
Oct 12, 2025
Merged

skip non string default in AddParamStringTypeFromSprintfUseRector#7483
TomasVotruba merged 1 commit into
mainfrom
tv-skip-default

Conversation

@TomasVotruba

@TomasVotruba TomasVotruba commented Oct 12, 2025

Copy link
Copy Markdown
Member

No description provided.

@TomasVotruba TomasVotruba changed the title tv skip default skip non string default in AddParamStringTypeFromSprintfUseRector Oct 12, 2025
@TomasVotruba
TomasVotruba enabled auto-merge (squash) October 12, 2025 09:17
@TomasVotruba
TomasVotruba merged commit c2fc84d into main Oct 12, 2025
52 checks passed
@TomasVotruba
TomasVotruba deleted the tv-skip-default branch October 12, 2025 09:18
@github-actions

Copy link
Copy Markdown
Contributor

This pull request has been automatically locked because it has been closed for 150 days. Please open a new PR if you want to continue the work.

@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Mar 15, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant