chore: Update validate-pr workflow #13940

Job	Run time
Ready-to-merge gate / Missing "ready-to-merge" label	5s
detect-changes / Detect file changes	6s
diff_check / diff_check	9s
ios	6m 36s
android	3m 36s
	10m 32s

Provide feedback