Update github-actions (12.5) (major)#1237

renovate[bot] merged 1 commit into

12.5sebastianbergmann/php-code-coverage:12.5from

renovate/12.5-major-github-actionssebastianbergmann/php-code-coverage:renovate/12.5-major-github-actionsCopy head branch name to clipboard