doc_pages.yml

name: Sphinx Documentation
on:
  workflow_dispatch:
  push:
    branches: [master]

jobs:
  build-docs:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4
        with:
          fetch-depth: 0

      - name: Set up Python 3.
        uses: actions/setup-python@v5
        with:
          python-version: 3.9

      - name: Install Poetry tool.
        run: pip install poetry

      - name: Poetry install the project.
        run: poetry install

      - name: Regenerate validation message codes documentation.
        run: |
          cd reasoner_validator
          poetry run python validation_codes.py
          cd ..

      - name: Build documentation.
        run: |
          mkdir gh-pages
          touch gh-pages/.nojekyll
          cd docs/
          poetry run sphinx-build -b html . _build
          cp -r _build/* ../gh-pages/

      - name: Deploy documentation.
        if: ${{ github.event_name == 'push' }}
        uses: JamesIves/github-pages-deploy-action@v4.4.1
        with:
          branch: gh-pages
          force: true
          folder: gh-pages