Update github-actions to v7 (12.5)#1235

renovate[bot] wants to merge 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