GitHub Actions

• July 6, 2020 GitHub workflow for streamlined publishing of static pages