Jane Chu 99e41eb8ab Added files to trigger the GitHub pages workflow (#213 ) # Pull Request ## 📖 Description <!--- Provide some background and a description of your work. --> This change adds the docs folder files to the gitignore, except the README for ease of local development. It also adds a GitHub workflow to trigger against `main` branch merges (and manual triggers) that will release of the documentation site. This should be merged after #212 ## ✅ Checklist ### General <!--- Review the list and put an x in the boxes that apply. --> - [ ] I have added tests for my changes. - [x] I have tested my changes. - [x] I have updated the project documentation to reflect my changes.	2022-04-18 17:27:36 -07:00
..
README.md	Added files to trigger the GitHub pages workflow (#213 )	2022-04-18 17:27:36 -07:00

Added files to trigger the GitHub pages workflow (#213 )

# Pull Request

## 📖 Description

<!--- Provide some background and a description of your work. -->
This change adds the docs folder files to the gitignore, except the README for ease of local development. It also adds a GitHub workflow to trigger against `main` branch merges (and manual triggers) that will release of the documentation site.

This should be merged after #212 

## ✅ Checklist

### General

<!--- Review the list and put an x in the boxes that apply. -->

- [ ] I have added tests for my changes.
- [x] I have tested my changes.
- [x] I have updated the project documentation to reflect my changes.

2022-04-18 17:27:36 -07:00

README.md

Added files to trigger the GitHub pages workflow (#213 )

2022-04-18 17:27:36 -07:00

README.md

Description

This folder contains the statically generated documentation site, intended for use by GitHub pages. Aside from this README.md file, all files in this folder are automatically generated by files in the website/ folder.