Merge pull request #5850 from opengisch/postgis_ci #8680

Job	Run time
build (arm64-android, android_arm64_v8a, OFF, android-arm64)	9m 16s
build (arm64-android, android_arm64_v8a, ON, android-arm64)	8m 49s
build (arm-neon-android, android_armv7, OFF, android-arm-neon)	8m 53s
build (arm-neon-android, android_armv7, ON, android-arm-neon)	8m 29s
build (x64-android, android_x86_64, OFF, android-x64)	11m 14s
build (x64-android, android_x86_64, ON, android-x64)	8m 18s
build (x86-android, android_x86, OFF, android-x86)	9m 9s
build (x86-android, android_x86, ON, android-x86)	8m 23s
comment (commit)	4s
deploy to play store	1m 9s
comment (pr)	0s
	1h 13m 44s

Provide feedback