Build and Publish Site

Fix numbering issues in `user/install_binary.rst` #30

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-upload	1m 37s
build-and-upload	1m 25s
deploy	0s
deploy	0s
	3m 2s