Skip to content
This repository has been archived by the owner on Sep 20, 2021. It is now read-only.

chore(php) Update to PHP 7 #20

Merged
merged 2 commits into from
Jan 23, 2018
Merged

chore(php) Update to PHP 7 #20

merged 2 commits into from
Jan 23, 2018

Conversation

Hywan
Copy link
Member

@Hywan Hywan commented Nov 8, 2017

@coveralls
Copy link

Coverage Status

Coverage remained the same at 0.0% when pulling 5188c4f on Hywan:php7 into 5d70dc1 on hoaproject:master.

1 similar comment
@coveralls
Copy link

coveralls commented Nov 8, 2017

Coverage Status

Coverage remained the same at 0.0% when pulling 5188c4f on Hywan:php7 into 5d70dc1 on hoaproject:master.

@coveralls
Copy link

coveralls commented Nov 8, 2017

Coverage Status

Coverage remained the same at 0.0% when pulling 409f2ad on Hywan:php7 into 5d70dc1 on hoaproject:master.

@Bhoat Bhoat merged commit 409f2ad into hoaproject:master Jan 23, 2018
@ghost ghost removed the in progress label Jan 23, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Development

Successfully merging this pull request may close these issues.

3 participants