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

Jump to PHPStan 0.12 #400

Merged

j0k3r merged 1 commit into master from phpstan-0.12

Sep 29, 2020

Owner

j0k3r commented Sep 29, 2020

No description provided.


          Jump to PHPStan 0.12

3f56a82

coveralls commented Sep 29, 2020

Coverage increased (+0.009%) to 97.277% when pulling 3f56a82 on phpstan-0.12 into 559dcd8 on master.

j0k3r merged commit bc5cc1c into master

j0k3r deleted the phpstan-0.12 branch

September 29, 2020 11:04

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

Labels

None yet