Build documentation

Include jQuery which doesn't come for free from the theme any more #260

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build documentation	2m 8s
Publish to GitHub pages	3m 1s
	5m 9s