Pull Request Docs Check

Replace game manuals 1 & 2 with the new Competition Manual #709

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
image-check	25s
check-redirect	28s
build-pdf	6m 25s
build-html	53s
link-check	2m 53s
spelling-check	18s
	11m 22s