Update people.md #5
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deploy to GitHub Pages | |
| on: | |
| push: | |
| branches: | |
| - source # Trigger the workflow on push to source branch | |
| jobs: | |
| build-and-deploy: | |
| runs-on: ubuntu-20.04 # Specifies the runner environment | |
| steps: | |
| - uses: actions/checkout@v2 # Checks-out your repository | |
| - name: Set up Python | |
| uses: actions/setup-python@v2 | |
| with: | |
| python-version: 3.6.7 # Specify the Python version | |
| - name: Install Dependencies | |
| run: | | |
| python -m pip install --upgrade pip | |
| pip install -r requirements.txt | |
| - name: Build Documentation | |
| run: | | |
| cd doc | |
| make html | |
| - name: Deploy to GitHub Pages | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} # GitHub automatically creates this secret to use in your workflow | |
| publish_dir: ./doc/_build/html # Directory containing built docs | |
| publish_branch: master # The branch you are deploying to (GitHub Pages) |