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

chore(ci): add php 8.3 #548

Merged

bshaffer merged 2 commits into main from php8.3

Dec 21, 2023

Collaborator

bshaffer commented Nov 29, 2023 •

edited

For the moment blocked by phpspec/prophecy#608

We can add --ignore-platform-reqs to get around this, but for now we can wait for phpspec/prophecy.


          chore: add php 8.3 to ci

73d261a

bshaffer changed the title ~~chore: add php 8.3 to ci~~ chore(ci): add php 8.3


          Merge branch 'main' into php8.3

vishwarajanand approved these changes

View reviewed changes

bshaffer merged commit 1b9e871 into main

8 checks passed

bshaffer deleted the php8.3 branch

December 21, 2023 20:02

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment