Skip to content

Conversation

ruudk
Copy link
Contributor

@ruudk ruudk commented Dec 14, 2021

This makes it possible to use the GithubErrorFormatter with any ErrorFormatter.

In my project, I have a custom ErrorFormatter but I also want to use the GitHubErrorFormatter on CI.

This makes it possible to use the `GithubErrorFormatter` with any `ErrorFormatter`.
@ruudk ruudk force-pushed the GitHub-error-formatter-interface branch from f6ad222 to bed8fea Compare December 14, 2021 07:08
@ondrejmirtes ondrejmirtes merged commit 38bfb84 into phpstan:master Dec 14, 2021
@ondrejmirtes
Copy link
Member

Thank you!

@ruudk ruudk deleted the GitHub-error-formatter-interface branch December 14, 2021 07:40
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