WIP: Vertex tool improvement #8557

Job	Run time
build (arm64-android, android_arm64_v8a, OFF, android-arm64)	12m 46s
build (arm64-android, android_arm64_v8a, ON, android-arm64)	13m 46s
build (arm-neon-android, android_armv7, OFF, android-arm-neon)	13m 50s
build (arm-neon-android, android_armv7, ON, android-arm-neon)	10m 54s
build (x64-android, android_x86_64, OFF, android-x64)	14m 23s
build (x64-android, android_x86_64, ON, android-x64)	10m 57s
build (x86-android, android_x86, OFF, android-x86)	13m 45s
build (x86-android, android_x86, ON, android-x86)	12m 20s
comment (pr)	4s
deploy to play store	0s
comment (commit)	0s
	1h 42m 45s

Provide feedback