deploy_documentation.yml

name: Deploy Sphinx Documentation

on:
  push:
    branches:
      - main  # Esegui l'azione quando ci sono modifiche sul branch principale

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
    # Step 1: Checkout il codice
    - name: Checkout code
      uses: actions/checkout@v3

    # Step 2: Configurare Python
    - name: Set up Python
      uses: actions/setup-python@v4
      with:
        python-version: '3.8'

    # Step 3: Installare le dipendenze
    - name: Install dependencies
      run: |
        python -m pip install --upgrade pip
        pip install sphinx sphinx-rtd-theme myst-parser

    # Step 4: Generare la documentazione
    - name: Build documentation
      run: |
        cd docs
        make html

    # Step 5: Deploy su GitHub Pages
    - name: Deploy to GitHub Pages
      uses: peaceiris/actions-gh-pages@v4
      with:
        github_token: ${{ secrets.GITHUB_TOKEN }}
        publish_dir: ./docs/_build/html  # Directory dei file HTML generati
        publish_branch: gh-pages        # Branch dove pubblicare i file