deploy-docs.yml

name: deploy-docs

on:
  push:
    branches:
    - main
 
jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v2
      with:
        persist-credentials: false 
        fetch-depth: 0 
    - name: Build test environment
      run: |
          sudo apt-get update -y
          sudo apt-get install python3-pip python3-dev python3-setuptools apache2 -y
          pip3 install --upgrade pip
          pip3 install sphinx
          pip3 install sphinx-rtd-theme
    - name: Update documentation
      run: |
          git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
          git config --local user.name "github-actions[bot]"
          git checkout gh_pages
          git merge origin/main
          cd sphinx && make github
    - name: Commit files
      run: |
        git add docs/*
        git commit -m "Update gh pages" -a
    - name: Push changes
      uses: ad-m/github-push-action@master
      with:
        github_token: ${{ secrets.GITHUB_TOKEN }}
        branch: gh_pages