Repository navigation

docs: rewrite recipes without hwdownload for hardware encoders (#102) #262

	---
	name: Praetor Documentation Governance

	'on':
	pull_request:
	types: [opened, synchronize, reopened, ready_for_review]
	push:
	branches: ['master']
	merge_group:

	permissions:
	contents: read

	jobs:
	documentation:
	name: Documentation Governance
	runs-on: ubuntu-26.04
	timeout-minutes: 10
	steps:
	- name: Stop on a draft pull request
	if: github.event.pull_request.draft == true
	shell: bash
	env:
	TITLE: Gate not run on a draft
	MESSAGE: >-
	The gate did not run because the pull request is a draft.
	It runs when the pull request is marked ready for review.
	run: \|
	echo "::error title=$TITLE::$MESSAGE"
	echo "$MESSAGE" >> "$GITHUB_STEP_SUMMARY"
	exit 1
	- name: Checkout source
	if: github.event.pull_request.draft != true
	# yamllint disable-line rule:line-length
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
	with:
	fetch-depth: 0
	- name: Setup Node.js
	if: github.event.pull_request.draft != true
	# yamllint disable-line rule:line-length
	uses: actions/setup-node@820762786026740c76f36085b0efc47a31fe5020 # v7.0.0
	with:
	node-version: "24"
	cache: npm
	cache-dependency-path: tools/markdownlint/package-lock.json
	- name: Verify public Markdown
	if: github.event.pull_request.draft != true
	run: node tools/markdownlint/verify.mjs
	- name: Verify figures
	if: github.event.pull_request.draft != true
	run: \|
	node tools/figures/build.mjs check
	node tools/figures/build.mjs sources