Skip to content

Run tools on PHP 8.2#35

Merged
derrabus merged 1 commit intodoctrine:mainfrom
derrabus:bump/php-8.2
Dec 10, 2022
Merged

Run tools on PHP 8.2#35
derrabus merged 1 commit intodoctrine:mainfrom
derrabus:bump/php-8.2

Conversation

@derrabus
Copy link
Copy Markdown
Member

PHP 8.2 has been released. Let's use that version to run our CI tools.

Copy link
Copy Markdown
Member

@greg0ire greg0ire left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

To be tagged as 3.0.0

@derrabus derrabus merged commit 5cf4d84 into doctrine:main Dec 10, 2022
@derrabus derrabus deleted the bump/php-8.2 branch December 10, 2022 22:30
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