Skip to content

Ignore name of index when fetching settings #747

Ignore name of index when fetching settings

Ignore name of index when fetching settings #747

Workflow file for this run

name: Build & Deploy Docs
on: [push, pull_request, workflow_dispatch]
jobs:
build-and-deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: 3.8
- name: Install Dependencies
run: |
python3.8 -m pip install nox
- name: Make
run: |
nox -rs docs
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/build/html