Skip to content

Fix build stage name in gateway image (#1535) #358

Fix build stage name in gateway image (#1535)

Fix build stage name in gateway image (#1535) #358

Workflow file for this run

name: Build and deploy sphinx docs
on:
workflow_dispatch:
push:
branches:
- main
permissions:
contents: read
jobs:
build_and_deploy_docs:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 #4.1.7
- uses: actions/setup-python@39cd14951b08e74b54015e9e001cdefcf80e669f #5.1.1
with:
python-version: '3.11'
- name: Install dependencies
run: |
python -m pip install --upgrade pip==24.2
pip install tox==4.16.0
sudo apt-get update
sudo apt-get install -y pandoc
- name: Build docs
run: |
tox -edocs
- name: Deploy docs
uses: peaceiris/actions-gh-pages@4f9cc6602d3f66b9c108549d475ec49e8ef4d45e #4.0.0
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/_build/html/