Repository navigation

fix cached resource replication after leader election loss #5232

	name: Documentation

	on:
	# So we can trigger manually if needed
	workflow_dispatch:
	# To confirm any changes to docs build successfully, without deploying them
	pull_request:
	# Pushes to branches do the full build + deployment
	push:
	branches:
	- main
	- "release-*"
	paths:
	- "cmd/**"
	- "docs/**"
	- "pkg/**"
	- ".github/workflows/docs-gen-and-push.yaml"

	permissions:
	contents: write

	concurrency:
	group: ${{ github.workflow }}

	jobs:
	generate-and-push:
	name: Generate and push
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # tag=v7.0.1

	- run: git fetch origin gh-pages
	- run: git fetch origin '+refs/tags/v:refs/tags/v' --no-tags

	- uses: actions/setup-go@b7ad1dad31e06c5925ef5d2fc7ad053ef454303e # tag=v7.0.0
	with:
	go-version: v1.26.10
	cache: true

	- uses: actions/setup-python@6d4fd22b20465ccc0f7354476588e8df7c9ca0e0 #tag=v7.1.0
	with:
	python-version: "3.13"

	- uses: astral-sh/setup-uv@68559e99cc807c1eb7e9238fd43a15bba460eec2 # tag=v10.3.3
	with:
	version: "0.12.23"
	enable-cache: true
	cache-dependency-glob: docs/uv.lock

	# mike does not support giving CLI flags for zensical, but we also do not
	# want to permanently enable strict mode, so here we enable it just for this
	# task
	- run: \|
	echo "strict: true" >> docs/mkdocs.yml

	- run: make generate-cli-docs generate-api-docs deploy-docs