Build documentation

[Arm] Fix merge conflicts after previous reverts (#7353) #946

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