Dive CI

Fixes a warning treated as an error for GCC 13 #610

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_Android	7m 50s
build_Linux_Debug	16m 48s
build_Linux_Release	15m 27s
build_Windows_Debug	6m 45s
lint	2m 0s
build_Windows_Release	6m 9s
	54m 59s