Repository navigation

Bump github/codeql-action from 4.30.9 to 4.31.0 #718

Job	Run time
build_linux (3.10)	2m 58s
build_linux (3.9)	2m 57s
build_windows (3.10)	11m 1s
build_linux (3.11)	2m 40s
build_windows (3.12)	10m 52s
build_windows (3.13)	10m 13s
build_linux (3.13)	2m 45s
build_windows (3.9)	10m 34s
build_windows (3.11)	14m 21s
build_linux (3.12)	2m 45s
test_linux (3.9, false, ubuntu-latest)	1m 34s
test_linux (3.10, false, ubuntu-latest)	1m 48s
test_linux (3.11, false, ubuntu-latest)	1m 37s
test_linux (3.13, false, ubuntu-latest)	1m 41s
test_linux (3.12, false, ubuntu-latest)	1m 40s
test_windows (3.11, false, windows-latest)	3m 12s
test_windows (3.10, false, windows-latest)	3m 2s
test_windows (3.13, false, windows-latest)	3m 37s
test_windows (3.9, false, windows-latest)	3m 23s
test_windows (3.12, false, windows-latest)	3m 37s
	1h 36m 17s