Merge pull request #497 from numtide/document-missing-formatter #752

	name: Deploy docs

	on:
	push:
	branches:
	- main
	tags:
	- "v*"

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	deploy:
	runs-on: ubuntu-24.04
	permissions:
	contents: write
	concurrency:
	group: ${{ github.workflow }}
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- uses: cachix/install-nix-action@V27
	with:
	extra_nix_config: \|
	accept-flake-config = true
	experimental-features = nix-command flakes
	- name: Configure Git user
	run: \|
	git config --local user.email "github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	- name: Deploy main
	if: ${{ github.ref_name == 'main' }}
	run: \|
	nix develop .#docs --command bash -c "mike deploy -p main"
	- name: Deploy version
	if: startsWith(github.ref, 'refs/tags/v')
	run: \|
	REF_NAME=${{ github.ref_name }}
	MAJOR_MINOR=${REF_NAME%.*}
	# strip the leading v from the ref_name
	# update the latest alias
	nix develop .#docs --command bash -c "mike deploy -p -u ${MAJOR_MINOR} latest"

Provide feedback