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.

Sign up for GitHub

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

Jump to bottom

chore: do not check PHP_VERSION_ID #7602

Merged
merged 1 commit into from Dec 20, 2023
Merged

chore: do not check PHP_VERSION_ID #7602

merged 1 commit into from Dec 20, 2023

Conversation

kubawerlos
Copy link
Contributor

Extracted from #7583

@coveralls
Copy link

Coverage Status

coverage: 94.795%. remained the same
when pulling 0404da4 on 6b7562617765726c6f73:do_not_use_PHP_VERSION_ID
into 27765a6 on PHP-CS-Fixer:master.

@keradus keradus changed the title DX: do not check PHP_VERSION_ID chore: do not check PHP_VERSION_ID Dec 20, 2023
@keradus keradus merged commit 3de82d3 into PHP-CS-Fixer:master Dec 20, 2023
25 checks passed
@kubawerlos kubawerlos deleted the do_not_use_PHP_VERSION_ID branch December 20, 2023 20:44
danog pushed a commit to zoonru/PHP-CS-Fixer that referenced this pull request Feb 2, 2024
@kubawerlos @danog
chore: do not check PHP_VERSION_ID (PHP-CS-Fixer#7602)
5625696
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@keradus keradus keradus approved these changes

Assignees
No one assigned
Labels
kind/enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@kubawerlos @coveralls @keradus