Slim runtime image, fastdds_stats fixes, and a full documentation accuracy audit #574

	# SPDX-FileCopyrightText: 2022-2026 David Bensoussan
	# SPDX-License-Identifier: MPL-2.0

	# Runs .pre-commit-config.yaml with prek (https://prek.j178.dev) — same config as
	# pre-commit, no Python environment or apt packages to install first.
	# `--skip build-doc`: doc.yaml owns the docs build.

	name: Formatting (prek)

	on:
	workflow_dispatch:
	pull_request:
	branches:
	- jazzy
	push:
	branches:
	- jazzy

	permissions:
	contents: read

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	prek:
	name: Format
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v5
	with:
	# --from-ref below diffs against the base branch, which a shallow clone lacks.
	fetch-depth: 0

	# Installs prek, caches hook environments, runs `prek run --show-diff-on-failure`.
	# A PR is checked over its own diff (`base...HEAD`); a push to jazzy re-checks the
	# whole tree, so nothing a PR never touched can rot unnoticed.
	- uses: j178/prek-action@v3.0.0
	with:
	prek-version: 0.4.14
	extra-args: ${{ github.event_name == 'pull_request' && format('--from-ref origin/{0} --to-ref HEAD --skip build-doc', github.base_ref) \|\| '--all-files --skip build-doc' }}

Navigation Menu