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

CI: update used PHP version #6163

Closed
wants to merge 1 commit into from
Closed

CI: update used PHP version #6163

wants to merge 1 commit into from

Conversation

keradus
Copy link
Member

@keradus keradus commented Dec 11, 2021

No description provided.

@coveralls
Copy link

coveralls commented Dec 11, 2021 •
edited

Coverage Status

Coverage remained the same at 93.031% when pulling aeb086f on keradus:dx_ci_clenaup into 56d8399 on FriendsOfPHP:master.

@SpacePossum SpacePossum added the RTM Ready To Merge label Dec 13, 2021
@SpacePossum
Copy link
Contributor

Thank you @keradus.

@SpacePossum SpacePossum removed the RTM Ready To Merge label Dec 13, 2021
@keradus keradus deleted the dx_ci_clenaup branch December 14, 2021 11:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@SpacePossum SpacePossum SpacePossum approved these changes

Assignees
No one assigned
Labels
topic/release topic/tests
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@keradus @coveralls @SpacePossum