Pages

Add language selector to sphinx docs (#417) #545

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-doxygen-xml	29s
build-scoreboard	12s
build-sphinx	1m 28s
deploy-pages	0s
	2m 9s