Skip to content

Update introduction

Update introduction #5

name: "Sphinx: Render docs"
on:
push:
branches:
- gh-pages
jobs:
build:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@v4
- name: Copy HTML to root directory
run: |
cd docs/build/html && rsync -av ./ ../../../
working-directory: ${{ github.workspace }}
- name: Commit and push changes
run: |
git config --global user.name "GitHub Actions"
git add .
git commit -m "Update gh-pages with latest documentation from main"
git push -f origin gh-pages
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}