Build documentation

Update to new version with new 16x4 kleidi kernels (#6101) #807

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (buck2) / Build doc	1s
upload-gh-pages	0s
	1s