Panel example update (#746) #75

	name: Publish docs via GitHub Pages

	# Only run on new tags starting with `v`
	on:
	push:
	tags:
	- "v*"
	workflow_dispatch:

	jobs:
	build:
	name: Deploy docs
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	# We need to additionally fetch the gh-pages branch for mike deploy
	with:
	fetch-depth: 0

	- name: Install a specific version of uv
	uses: astral-sh/setup-uv@v5
	with:
	enable-cache: true
	version: "0.4.x"

	- name: Deploy docs
	env:
	GIT_COMMITTER_NAME: CI
	GIT_COMMITTER_EMAIL: [email protected]
	run: \|
	# Get most recent git tag
	# https://stackoverflow.com/a/7261049
	# We don't use {{github.ref_name}} because if triggered manually, it
	# will be a branch name instead of a tag version.
	VERSION=$(git describe --tags --abbrev=0)

	# Only push docs if no letters in git tag after the first character
	# (usually the git tag will have v as the first character)
	if ! echo $VERSION \| sed 's/^.//' \| grep -q "[A-Za-z]"; then
	uv run --group docs mike deploy $VERSION latest --update-aliases --push
	fi

Provide feedback