Merge pull request #213 from pyscript/fix-deploy-to-pip #122

	name: "Update Docs"

	on:
	push:
	branches:
	- main
	paths-ignore:
	- '.github/**'
	workflow_dispatch:

	jobs:
	update-docs:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v6

	- name: Set up Python
	uses: actions/setup-python@v6
	with:
	python-version: '3.14.2'

	- name: Install dependencies with pip
	run: \|
	python -m pip install --upgrade pip
	pip install -r requirements.txt

	- uses: oleksiyrudenko/gha-git-credentials@v2-latest
	with:
	token: '${{ secrets.DOCS_GITHUB_TOKEN }}'

	- name: Get Version
	id: version
	if: success()
	shell: bash
	run: echo "version=$(jq -r '.version' version.json)" >> $GITHUB_OUTPUT

	- name: Update "gh-pages" branch
	shell: bash -l {0}
	run: \|
	git config user.name ${{ secrets.DOCS_GITHUB_USER }}
	git config user.email ${{ secrets.DOCS_GITHUB_EMAIL }}
	git fetch origin gh-pages --depth=1
	mike deploy --push --update-aliases ${{ steps.version.outputs.version }} latest

Provide feedback