Skip to content

Added Teamcity Error Formatter#295

Merged
ondrejmirtes merged 1 commit intophpstan:masterfrom
MaximilianKresse:feature/teamcity-error-formatter
Aug 5, 2020
Merged

Added Teamcity Error Formatter#295
ondrejmirtes merged 1 commit intophpstan:masterfrom
MaximilianKresse:feature/teamcity-error-formatter

Conversation

@MaximilianKresse
Copy link
Copy Markdown
Contributor

@MaximilianKresse MaximilianKresse commented Aug 5, 2020

See #3701

@ondrejmirtes
Copy link
Copy Markdown
Member

Thank you!

@ondrejmirtes ondrejmirtes merged commit 916d540 into phpstan:master Aug 5, 2020
@MaximilianKresse MaximilianKresse deleted the feature/teamcity-error-formatter branch August 5, 2020 10:17
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.

2 participants