update-doc.yml

name: Update documentation

on:
  push:
    branches: [ main ]
    tags:
    - v[0-9]+.[0-9]+.[0-9]+

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - name: Checkout code
      uses: actions/checkout@v3

    - name: Setup Python
      uses: actions/setup-python@v4
      with:
        python-version: '3.10'

    - name: Install mkdocs
      run: |
        pip install mkdocs mkdocs-material
        pip install mkdocs-rss-plugin

    - name: Build documentation
      run: mkdocs build
      working-directory: ./Doc

    - name: Upload artifact
      uses: actions/upload-pages-artifact@v3
      with:
        path: ./Doc/site

  deploy:
    needs: build
    runs-on: ubuntu-latest
    environment:
      name: github-pages
      url: ${{ steps.deployment.outputs.page_url }}
    permissions:
      pages: write
      id-token: write
      contents: write
    steps:
    - name: Deploy to GitHub Pages
      id: deployment
      uses: actions/deploy-pages@v4