docs.yml

# FIXME: This only builds the FInAT docs. We should also automate building them for FIAT.
name: github pages

on:
  # push:
  #   branches:
  #     - master
  pull_request:

jobs:
  build_docs:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - name: Setup python
        uses: actions/setup-python@v3
        with:
          python-version: 3.12
      - name: Install
        run: |
          python -m pip install .
          python -m pip install sphinx
      - name: Build docs
        run: |
          make -C docs html
      # - name: Deploy
      #   uses: peaceiris/actions-gh-pages@v3
      #   with:
      #     github_token: ${{ secrets.GITHUB_TOKEN }}
      #     publish_dir: ./docs/build/html
      #     publish_branch: gh-pages
      #     enable_jekyll: false
      #     allow_empty_commit: false
      #     user_name: 'github-actions[bot]'
      #     user_email: 'github-actions[bot]@users.noreply.github.com'