Repository navigation

Upgrade `github/codeql` dependency to 2.23.9 #4838

Job	Run time
Generate HTML documentation	19s
	19s