documentation.yml

name: Documentation
on:
  release:
    types:
      - published
      - deleted
  push:
    branches:
      - main
  pull_request:
    branches:
      - main
permissions:
  contents: write
jobs:
  documentation:
    env:
      DOCS_BRANCH: docs-site
    runs-on: ubuntu-latest
    steps:
      - name: Checkout ${{ env.DOCS_BRANCH }}
        uses: actions/checkout@v4
        with:
          ref: ${{ env.DOCS_BRANCH }}
      - uses: actions/checkout@v4
      - name: Configure Git Credentials
        run: |
          git config user.name github-actions[bot]
          git config user.email 41898282+github-actions[bot]@users.noreply.github.com

      - uses: ./.github/actions/setup-python-and-dependencies
        with:
          python-version: "3.11"

      - name: Generate markdown
        run: poetry run bash scripts/generate_instructions.sh

      - name: Build and deploy dev documentation
        if: ${{ github.event_name == 'push' }}
        run: poetry run mike deploy --push --branch=${{ env.DOCS_BRANCH }} dev

      - name: Build and deploy published tag documentation
        if: ${{ github.event_name == 'release' && github.event.action == 'published' }}
        run: |
          echo "Creating documentation version ${{ github.ref_name }}"
          poetry run mike deploy --push --branch=${{ env.DOCS_BRANCH }} --update-aliases ${{ github.ref_name }} latest
          poetry run mike set-default --push --branch=${{ env.DOCS_BRANCH }} latest

      - name: Remove deleted tag documentation
        if: ${{ github.event_name == 'release' && github.event.action == 'deleted' }}
        run: |
          echo "Deleting documentation version ${{ github.ref_name }}"
          poetry run mike delete --push --branch=${{ env.DOCS_BRANCH }} ${{ github.ref_name }}

      - name: Build documentation for pull request
        if: ${{ github.event_name == 'pull_request' }}
        run: poetry run mkdocs build