Publish docs to head

Merge pull request #57 from augustmckendrick/polishing #16

Sign in to view logs

Summary
Jobs
- deploy-docs
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deploy-docs	25s
	25s