Pages

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-scoreboard	13s
build-doxygen-xml	23s
build-sphinx	37s
deploy-pages	12s
	1m 25s