Publish emu-mps #11

	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 "[email protected]"
	git fetch origin gh-pages
	mike deploy --push --update-aliases ${{ github.event.workflow_run.head_branch }} latest

Provide feedback