CodeQL

Fix failing rtd document generation and smuggle some typo corrections. #2295

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	5m 41s
Analyze (javascript)	4m 6s
Analyze (python)	3m 12s
	12m 59s