Pages

Use RelWithDebInfo for sanitizers, document build types (#483) #946

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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