Add notebooks (#11) #27
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-book | |
| on: [ push ] | |
| jobs: | |
| deploy-book: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| # Install dependencies | |
| - name: Set up Python 3.10 | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.10' | |
| - name: Install dependencies | |
| run: | | |
| make setup | |
| # Check external links in the book | |
| - name: Check external links | |
| run: | | |
| make check | |
| # Build the book | |
| - name: Build the book | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/main' | |
| run: | | |
| make build | |
| # Push the book's HTML to github-pages | |
| - name: GitHub Pages action | |
| uses: peaceiris/[email protected] | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/main' | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./_build/html | |
| publish_branch: gh-pages # deploying branch |