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.

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

Update to infection 0.20 #79

Closed
WyriHaximus opened this issue Nov 1, 2020 · 6 comments · Fixed by #86
Closed

Update to infection 0.20 #79

WyriHaximus opened this issue Nov 1, 2020 · 6 comments · Fixed by #86
Assignees
Labels
dependencies Pull requests that update a dependency file enhancement New feature or request
Milestone

Comments

@WyriHaximus
Copy link
Contributor

A new version of infection is out: https://infection.github.io/2020/11/01/whats-new-in-0.20.0/

@maks-rafalko
Copy link

I will use the opportunity to remind that we have a ready to review PR that adds support for plugins, specifically created for this Psalm integration: infection/infection#1327

Ultimately, it will allow to use Psalm with Infection without the need of such issues to upgrade to the latest Infection versions.

@Ocramius
Copy link
Member

Ocramius commented Nov 1, 2020

My bad for not having had any proper time for OSS over the last couple months, sorry 😞

@Ocramius
Copy link
Member

Ocramius commented Nov 1, 2020

BTW, send a patch whenever - don't have a PC with PHP at hand

@WyriHaximus
Copy link
Contributor Author

BTW, send a patch whenever - don't have a PC with PHP at hand

If someone doesn't probably looking at doing it tonight

@WyriHaximus
Copy link
Contributor Author

Seems Dependabot beat me to it: #86

@Ocramius
Copy link
Member

Ocramius commented Nov 1, 2020

Excellent: releasing now.

@Ocramius Ocramius closed this as completed Nov 1, 2020
@Ocramius Ocramius linked a pull request Nov 1, 2020 that will close this issue
@Ocramius Ocramius self-assigned this Nov 1, 2020
@Ocramius Ocramius added dependencies Pull requests that update a dependency file enhancement New feature or request labels Nov 1, 2020
@Ocramius Ocramius added this to the 1.2.0 milestone Nov 1, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants