publish_emu_mps.yml

name: Publish emu-mps
run-name: Publish emu-mps

on:
  workflow_run:
    workflows: [Publish emu-base]
    types:
      - completed
concurrency:
  group: fast-${{ github.head_ref || github.run_id }}
  cancel-in-progress: true

jobs:
  publish_emu_mps:
    name: Publish emu-mps to PyPI
    if: ${{ github.event.workflow_run.conclusion == 'success' }}
    runs-on: ubuntu-latest
    permissions:
      # IMPORTANT: this permission is mandatory for trusted publishing
      id-token: write
    steps:
      - name: Check emulators
        uses: actions/checkout@v4
        with:
          ref: ${{ github.ref }}
      - name: Set up Python 3.10
        uses: actions/setup-python@v5
        with:
          python-version: '3.10'
      - name: Install Python dependencies
        run: |
          python -m pip install --upgrade pip
          pip install hatch
      - name: Build and publish package
        run: |
          cd ci/emu_mps
          hatch build
      - name: Publish to PyPI
        uses: pypa/gh-action-pypi-publish@release/v1
        with:
          packages-dir: ${{ github.workspace }}/ci/emu_mps/dist
          verbose: true
  deploy_docs:
    name: Deploy docs (ubuntu)
    needs: publish_emu_mps
    runs-on: ubuntu-latest
    steps:
    - name: Checkout emulators
      uses: actions/checkout@v4
    - name: Set up Python 3.10
      uses: actions/setup-python@v5
      with:
        python-version: '3.10'
    - name: Setup environment
      run: |
        pip install -r doc_requirements.txt
        pip install -e .
    - name: Deploy docs
      run: |
        git config user.name "GitHub Actions"
        git config user.email "actions@github.com"
        git fetch origin gh-pages
        mike deploy --push --update-aliases ${{ github.ref_name }} latest