Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: make data providers key type int if all the keys are strings #8550

Merged

Conversation

kubawerlos
Copy link
Contributor

No description provided.

@kubawerlos kubawerlos enabled auto-merge (squash) March 31, 2025 14:29
@kubawerlos kubawerlos merged commit e44b8f9 into PHP-CS-Fixer:master Mar 31, 2025
28 checks passed
@kubawerlos kubawerlos deleted the data_providers_keys branch March 31, 2025 14:35
@coveralls
Copy link

coveralls commented Mar 31, 2025

Coverage Status

coverage: 94.866% (-0.01%) from 94.876%
when pulling 23bf73a on 6b7562617765726c6f73:data_providers_keys
into 5e315b2 on PHP-CS-Fixer:master.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants