empty commit to trigger rebuild dev #28
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: Rebuild and deploy dev version of book to gh-pages branch in dev/ folder | |
| on: | |
| push: | |
| branches: | |
| - main | |
| paths: | |
| - 'source/**' | |
| - 'build_html.sh' | |
| jobs: | |
| deploy-main-preview: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| packages: write | |
| steps: | |
| - name: checkout | |
| uses: actions/checkout@v2 | |
| with: | |
| ref: 'main' | |
| - name: Build the book | |
| run: | | |
| ./build_html.sh | |
| # Push the book's HTML to github-pages | |
| - name: GitHub Pages action | |
| uses: peaceiris/[email protected] | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: source/_build/html | |
| keep_files: true | |
| destination_dir: dev | |
| # force_orphan: true # once peaceiris updates to v4, change this to true and keep_files: true for the PR / main branch deploy previews | |