Dive CI

Shows appropriate text for device selection box #596

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_Linux_Release	15m 3s
build_Windows_Debug	5m 11s
build_Android	9m 11s
build_Linux_Debug	17m 8s
build_Windows_Release	6m 40s
lint	2m 32s
	55m 45s