name: Publish JupyterBook to GitHub Pages on: push: # trigger build only when push to main branches: - main jobs: build: runs-on: ubuntu-latest steps: - uses: actions/checkout@v7 - name: Set up Python uses: actions/setup-python@v6 with: python-version: "3.14" cache: "pip" - name: Install Python dependencies run: | sudo apt-get install python3-pip graphviz pip install -r requirements.txt pip install ghp-import PATH="${PATH}:${HOME}/.local/bin" - name: Build book HTML run: | ./build_and_process.sh - name: Push _build/html to gh-pages run: | sudo chown -R $(whoami):$(whoami) . git config --global user.email "[email protected]" git config --global user.name "$GITHUB_ACTOR" git remote set-url origin "https://$GITHUB_ACTOR:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY" ghp-import ./content/_build/html -f -p -n