Skip to content

Update org name from wesselb to beartype in docs & errors (#192) #126

Update org name from wesselb to beartype in docs & errors (#192)

Update org name from wesselb to beartype in docs & errors (#192) #126

Workflow file for this run

name: Build Jupyter Book
on:
# Trigger the workflow on push to main branch.
push:
branches:
- master
# This job installs dependencies, build the book, and pushes it to `gh-pages`.
jobs:
build-and-deploy-book:
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-latest]
python-version: [3.8]
steps:
- uses: actions/checkout@v2
# Install dependencies.
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v1
with:
python-version: ${{ matrix.python-version }}
- name: Install dependencies
run: |
python -m pip install -e '.[dev]'
# Build the book.
- name: Build
run: |
jupyter-book build docs
# Deploy the book's HTML to gh-pages branch.
- name: Deploy to GitHub Pages
uses: peaceiris/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/_build/html