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

Add linting stage #117

Merged
merged 5 commits into from Jul 31, 2018
Merged

Add linting stage #117

merged 5 commits into from Jul 31, 2018

Conversation

andig
Copy link
Contributor

@andig andig commented Jul 31, 2018

phpstan is now enabled but errors are ignored since I'm unsure how to fix the remaining issues.

@andig andig force-pushed the stages branch 8 times, most recently from 5456caf to 101e847 Compare July 31, 2018 11:45
@andig andig merged commit 08ff742 into php-pm:master Jul 31, 2018
@andig andig deleted the stages branch July 31, 2018 16:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant