CI: fixup! In Latest release/tag refresh, avoid need for checkout (#461) #1560

Job	Run time
markdown-link-check	1m 5s
build-pdfs	3m 37s
build-github-pages	0s
create-tag-and-github-release	18s
build-pages-artifact	1m 26s
deploy-pages	10s
	6m 36s

Navigation Menu