Closed tompollard closed 2 years ago
We could consider adding the following chunk (or similar) to the GitHub workflow:
# Push the book's HTML to github-pages - name: GitHub Pages action uses: peaceiris/actions-gh-pages@v3.6.1 with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./_build/html
This would rebuild the website whenever we merged a change to the development files.
The deployment script has been added. The site should now automatically be updated when changes are merged into the main branch.
We could consider adding the following chunk (or similar) to the GitHub workflow:
This would rebuild the website whenever we merged a change to the development files.