Developers environment checks

Publish GitHub Pages upon successfully-merged PR #1065

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clone on Mac	9s
Clone on Ubuntu	6s
Clone on Windows	15s
	30s