Pages

Use RelWithDebInfo for sanitizers, document build types #944

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-doxygen-xml	21s
build-scoreboard	8s
build-sphinx	33s
deploy-pages	0s
	1m 2s