enable satd analyze and tune lambda for mvtools hq presets #2349

	name: Generate and deploy docs

	on:
	push:
	branches:
	- main
	pull_request:
	workflow_dispatch:

	concurrency:
	group: ${{ github.workflow }}-${{ github.event.number \|\| github.ref }}
	cancel-in-progress: ${{ github.ref_name != 'main' }}

	permissions:
	contents: read

	jobs:
	docs-build:
	runs-on: ubuntu-24.04
	env:
	PROD: true
	steps:
	- name: Checkout repository
	uses: actions/checkout@v7

	- name: Set up uv
	uses: astral-sh/setup-uv@v9.0.0
	with:
	python-version: "3.14"
	enable-cache: true

	- name: Install dependencies
	run: uv sync --group doc --no-dev

	- name: Restore build cache
	uses: actions/cache/restore@v6
	with:
	key: mkdocs-material-${{ hashfiles('.cache/**') }}
	path: .cache
	restore-keys: \|
	mkdocs-material-

	- name: Build
	run: uv run --no-sync mkdocs build

	- uses: actions/upload-pages-artifact@v5
	with:
	path: site

	- name: Save build cache
	uses: actions/cache/save@v6
	with:
	key: mkdocs-material-${{ hashfiles('.cache/**') }}
	path: .cache

	- name: Post webhook for failure
	if: failure()
	uses: Jaded-Encoding-Thaumaturgy/discord-failure-notifier@v1
	with:
	webhook-url: ${{ secrets.WEBHOOK_URL }}

	docs-deploy:
	if: github.event_name == 'push' && github.ref == 'refs/heads/main'
	needs:
	- docs-build
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-24.04
	permissions:
	actions: read
	id-token: write
	pages: write
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v5

Navigation Menu