[CI] Combine push and root#21251

iluuu1994 wants to merge 6 commits intophp:masterphp/php-src:masterfrom

iluuu1994:ci-combine-push-and-rootiluuu1994/php-src:ci-combine-push-and-rootCopy head branch name to clipboard