Skip to content

updated image

updated image #3

Workflow file for this run

name: Deploy GitHub Pages
on:
push:
branches:
- main # Set a branch name to trigger deployment
jobs:
deploy:
runs-on: ubuntu-20.04
permissions:
contents: write
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
env:
GITHUB_PAT: ${{ secrets.GITHUB_TOKEN }}
steps:
- uses: actions/checkout@v3
with:
context: .
submodules: true
fetch-depth: 0
- name: Set up Python
uses: actions/[email protected]
with:
context: .
python-version: 3.9
- name: Install sphinx
run: |
pip install sphinx
pip install furo
pip install sphinx-togglebutton
pip install sphinx-favicon
pip install sphinxcontrib.bibtex
- name: Build
run: |
cd docs/
make clean
make html
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/main' }}
with:
context: .
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/build/html/