Skip to content

Include --instrument_pa_deg argument #6

Include --instrument_pa_deg argument

Include --instrument_pa_deg argument #6

Workflow file for this run

name: deploy-tutorials
# Only run this when the main branch changes
on:
push:
branches:
- main
# This job installs dependencies, build the tutorials, and pushes them to `gh-pages`
jobs:
deploy-tutorials:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.10'
cache: 'pip'
- run: pip install -r requirements.txt
- name: Build docs
run: |
make html
# Push the book's HTML to github-pages
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: build/html