Skip to content

CI: drop duplicated PHP 8.4 jobs#9229

Merged
keradus merged 2 commits intomasterfrom
php84
Nov 27, 2025
Merged

CI: drop duplicated PHP 8.4 jobs#9229
keradus merged 2 commits intomasterfrom
php84

Conversation

@keradus
Copy link
Copy Markdown
Member

@keradus keradus commented Nov 27, 2025

after Symfony v8 is @stable, no need to have 2 set of jobs for PHP 8.4

@keradus keradus changed the title ci: drop duplicated PHP 8.4 jobs CI: drop duplicated PHP 8.4 jobs Nov 27, 2025
@keradus keradus marked this pull request as ready for review November 27, 2025 22:13
@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 93.351% (-0.01%) from 93.361%
when pulling 544aa33 on php84
into 70aeb5c on master.

@keradus keradus merged commit 76e2547 into master Nov 27, 2025
30 of 31 checks passed
@keradus keradus deleted the php84 branch November 27, 2025 22:20
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