ci: Gate size analysis on ready-to-merge label for PRs #8010

Job	Run time
Ready-to-merge gate / Missing "ready-to-merge" label	3s
diff_check / diff_check	8s
detect-changes / Detect file changes	6s
Build web	3m 13s
Build android production	13m 16s
Build ios production no-frameworks	6m 30s
Build ios production dynamic-frameworks	6m 9s
Build android dev	11m 15s
Build ios dev no-frameworks	5m 10s
Build ios dev dynamic-frameworks	5m 22s
	51m 12s

Provide feedback