Skip to content

UX: show warning on PHP-mismatch only for 'fix' and 'check' commands#9243

Merged
keradus merged 3 commits intomasterfrom
chore_warn
Dec 1, 2025
Merged

UX: show warning on PHP-mismatch only for 'fix' and 'check' commands#9243
keradus merged 3 commits intomasterfrom
chore_warn

Conversation

@keradus
Copy link
Copy Markdown
Member

@keradus keradus commented Nov 28, 2025

No description provided.

@coveralls
Copy link
Copy Markdown

coveralls commented Nov 28, 2025

Coverage Status

coverage: 93.371% (-0.02%) from 93.389%
when pulling 0ddfe21 on chore_warn
into 053d01a on master.

Comment thread src/Console/Application.php Outdated
@keradus keradus marked this pull request as ready for review November 30, 2025 20:52
@keradus keradus enabled auto-merge (squash) November 30, 2025 20:52
@keradus keradus disabled auto-merge December 1, 2025 11:08
@keradus keradus merged commit 05c1815 into master Dec 1, 2025
32 of 33 checks passed
@keradus keradus deleted the chore_warn branch December 1, 2025 11:09
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.

2 participants