CI

Merge dev to refactor #5873

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-test-jvm	11m 49s
test-android (35, default, x86_64)	12m 15s
test-android (23, default, x86)	12m 13s
sonar	-1s
	36m 16s