Pages

[CI] Add shellcheck lint job (#473) #886

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-doxygen-xml	22s
build-scoreboard	15s
build-sphinx	30s
deploy-pages	1m 5s
	2m 12s