Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Enhancement: Run build on PHP 7.4 #212

Merged
merged 2 commits into from
Mar 24, 2020
Merged

Enhancement: Run build on PHP 7.4 #212

merged 2 commits into from
Mar 24, 2020

Conversation

localheinz
Copy link
Contributor

This PR

  • runs a build on PHP 7.4

Replaces #205.
Replaces #210.

@localheinz localheinz changed the title Run CI fo PHP 7.4 Enhancement: Run build on PHP 7.4 Mar 20, 2020
@localheinz localheinz force-pushed the fix/php7.4 branch 2 times, most recently from 51282ca to 860b183 Compare March 20, 2020 11:23
@localheinz
Copy link
Contributor Author

@Kharhamel @moufmouf

Anything holding up merging this and tagging a new release?

@Kharhamel Kharhamel merged commit f440677 into thecodingmachine:master Mar 24, 2020
@Kharhamel
Copy link
Collaborator

I'm doing it

@localheinz localheinz deleted the fix/php7.4 branch March 25, 2020 08:37
@localheinz
Copy link
Contributor Author

Thank you, @Kharhamel!

# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@localheinz @Kharhamel @OskarStark