Merge pull request #3499 from github/sam-robson/document-version-pinn… #9061

Job	Run time
Split workflow (macos-latest, nightly-latest)	2m 2s
Split workflow (ubuntu-latest, default)	1m 20s
Split workflow (macos-latest, linked)	1m 24s
Split workflow (ubuntu-latest, linked)	1m 17s
Split workflow (ubuntu-latest, nightly-latest)	1m 35s
Split workflow (macos-latest, default)	1m 21s
	8m 59s

Provide feedback