Post issue-bot results as a PR comment#5715

ondrejmirtes merged 1 commit into

2.1.xphpstan/phpstan-src:2.1.xfrom

issue-bot-pr-commentphpstan/phpstan-src:issue-bot-pr-commentCopy head branch name to clipboard