Skip to content

Conversation

andypost
Copy link
Contributor

WIP

@cmb69
Copy link
Member

cmb69 commented Sep 30, 2024

It failed \o/

@cmb69
Copy link
Member

cmb69 commented Sep 30, 2024

And CI is green again \o/

@cmb69 cmb69 marked this pull request as ready for review September 30, 2024 16:08
@cmb69 cmb69 merged commit 7e6f786 into php:php7 Sep 30, 2024
14 checks passed
@cmb69
Copy link
Member

cmb69 commented Sep 30, 2024

Thank you!

@andypost andypost deleted the 85-ci branch October 8, 2024 00:36
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