Build and deploy documentation

Merge pull request #500 from diniamo/lazy-before-setup #148

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check latest commit	2s
publish	42s
	44s