Merge pull request #3196 from embik/flush-and-exit-leaderelection #1435

	name: Generate and push docs

	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 docs
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3

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

	- uses: actions/setup-go@v5
	with:
	go-version: v1.22.7
	cache: true

	- uses: actions/setup-python@v5
	with:
	python-version: '3.10'
	cache: 'pip'

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

Provide feedback