Repository navigation

Upgrade `github/codeql` dependency to 2.23.9 #4837

Job	Run time
Generate HTML documentation	20s
	20s