Pages

Merge branch 'master' into codex/update-lint.yml-to-add-shell-lint-job #881

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-doxygen-xml	23s
build-scoreboard	9s
build-sphinx	31s
deploy-pages	0s
	1m 3s