Skip to content

Support different error levels in GithubErrorFormatter#2375

Closed
staabm wants to merge 1 commit intophpstan:1.10.xfrom
staabm:github-error-levels
Closed

Support different error levels in GithubErrorFormatter#2375
staabm wants to merge 1 commit intophpstan:1.10.xfrom
staabm:github-error-levels

Commits

Commits on May 8, 2023