Build Sphinx docs and deploy to GitHub Pages

Rename `get_next_sub_number` and `get_next_ses_number`. #984

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Sphinx Docs	40s
Deploy Sphinx Docs	0s
	40s