Repository navigation

Bump github/codeql-action from 4.31.5 to 4.31.8 #768

Job	Run time
build_linux (3.10)	3m 16s
build_windows (3.12)	7m 45s
build_linux (3.13)	2m 48s
build_windows (3.10)	9m 33s
build_windows (3.11)	7m 24s
build_linux (3.11)	2m 57s
build_linux (3.12)	3m 9s
build_windows (3.13)	7m 0s
test_linux (3.10, false, ubuntu-latest)	1m 52s
test_linux (3.12, false, ubuntu-latest)	1m 38s
test_linux (3.13, false, ubuntu-latest)	1m 49s
test_linux (3.11, false, ubuntu-latest)	1m 40s
test_windows (3.11, false, windows-latest)	3m 10s
test_windows (3.13, false, windows-latest)	3m 0s
test_windows (3.12, false, windows-latest)	3m 9s
test_windows (3.10, false, windows-latest)	3m 6s
	1h 3m 16s