Merge pull request #21 from jkitchin/claude/jaxsr-issue-18-ia0azx #66
This file contains hidden or 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 Jupyter Book | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: "pages" | |
| cancel-in-progress: false | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/setup-python@v5 | |
| with: | |
| python-version: "3.11" | |
| - name: Install dependencies | |
| run: | | |
| pip install -e . | |
| # `build` produces the wheel the app installs into Pyodide; | |
| # xlsxwriter writes the example workbook the app offers. | |
| pip install "jupyter-book>=0.15,<2" sphinx-copybutton build "xlsxwriter>=3.1" | |
| - name: Build the book | |
| run: jupyter-book build docs/ | |
| # The browser app is served as plain static files alongside the docs, at | |
| # /jaxsr/app/. It lives outside docs/ so jupyter-book never tries to | |
| # process it; the build step produces the wheel the page installs into | |
| # Pyodide, plus the manifest that names it. | |
| - name: Build the browser app | |
| run: python scripts/build_webapp.py | |
| - name: Stage the browser app into the site | |
| run: cp -r webapp docs/_build/html/app | |
| - name: Upload artifact | |
| if: github.ref == 'refs/heads/main' && github.event_name == 'push' | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: docs/_build/html | |
| deploy: | |
| if: github.ref == 'refs/heads/main' && github.event_name == 'push' | |
| needs: build | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |