CI

Merge pull request #13207 from TobiGr/small-fixes #6090

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-android (35, default, x86_64)	4m 58s
build-and-test-jvm	4m 22s
test-android (21, default, x86)	5m 2s
sonar	0s
	14m 22s