Skip to content

Tweak figsize to get relatively larger font sizes #51

Tweak figsize to get relatively larger font sizes

Tweak figsize to get relatively larger font sizes #51

Workflow file for this run

name: 'publish_book'
on:
push:
branches:
- "main"
jobs:
deploy-gh-pages:
permissions:
contents: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: prefix-dev/[email protected]
with:
pixi-version: v0.27.1
environments: doc
- name: Convert Python file to notebooks for JupyterLite
run: |
# to create the predictions and validation curves cache
pixi run -e doc convert-to-executed-notebooks
# to clean the output
pixi run -e doc convert-to-notebooks
- name: Build the JupyterLite site
run: |
pixi run -e doc build-jupyterlite
- name: Build and publish the book
run: pixi run -e doc build-book
- name: Copy jupyterlite site under the book directory
run: |
cp -r jupyterlite/dist book/_build/html/jupyterlite
- name: Update the main gh-page website
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book/_build/html
commit_message: "[ci skip] ${{ github.event.head_commit.message }}"