CI

Merge dev into refactor #6151

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-test-jvm	10m 34s
test-android (23, default, x86)	10m 43s
test-android (35, default, x86_64)	10m 50s
sonar	0s
	32m 7s