Skip to content

chore: revert nb output changes to minimize diffs #246

chore: revert nb output changes to minimize diffs

chore: revert nb output changes to minimize diffs #246

Workflow file for this run

name: Build and publish artifacts
on:
push:
branches:
- main
- ci/test*
release:
types:
- published
jobs:
docs:
# No need to rebuild the docs if this is a release
if: ${{ github.event_name == 'release' }}
name: Build Jupyter Book with Jupyter Lite and publish to GitHub Pages
runs-on: ubuntu-latest
# This job is responsible for the GH Pages deployment
environment:
name: github-pages
url: ${{ steps.gh_pages_deployment.outputs.page_url }}
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write
steps:
- uses: actions/checkout@v4
- name: Install uv
uses: astral-sh/setup-uv@v3
- name: Set up Python
run: uv python install
# Required to execute notebooks with Python modules wrapping Node.js modules, such as Draco 1
- name: Setup Node
uses: actions/setup-node@v4
# Installing system dependencies required by notebooks to be executed
- name: Install system dependencies
run: sudo apt-get update && sudo apt-get install -y gringo
- name: Make book
run: make book
- name: Display HTML bundle tree
run: find docs/_build/html/ | sed -e "s/[^-][^\/]*\// |/g" -e "s/|\([^ ]\)/|-\1/"
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Upload Documentation Site Artifact
uses: actions/upload-pages-artifact@v3
with:
path: ./docs/_build/html
- name: Deploy to GitHub Pages
id: gh_pages_deployment
uses: actions/deploy-pages@v4