tetragon: factor args processing #832

	name: Check generated docs
	on:
	push:
	branches:
	- main
	- v*
	paths:
	- "**"
	- "!docs/**"
	- "!examples/**"
	- "!install/**"
	- "!tests/**"
	- "!**.md"
	- "!**.yaml"
	- docs/content/en/docs/reference/metrics.md
	- docs/data/tetragon_flags.yaml
	- .github/workflows/generated-docs.yaml
	pull_request:
	paths:
	- "**"
	- "!docs/**"
	- "!examples/**"
	- "!install/**"
	- "!tests/**"
	- "!**.md"
	- "!**.yaml"
	- docs/content/en/docs/reference/metrics.md
	- docs/data/tetragon_flags.yaml
	- .github/workflows/generated-docs.yaml

	jobs:
	check-generated-docs:
	strategy:
	fail-fast: false
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	with:
	fetch-depth: 0
	- name: Install Go
	uses: actions/setup-go@d35c59abb061a4a6fb18e82ac0862c26744d6ab5 # v5.5.0
	with:
	# renovate: datasource=golang-version depName=go
	go-version: "1.24.3"
	- name: Go version
	run: go version
	- name: Check Tetragon daemon flags
	run: \|
	set -ex
	make generate-flags
	test -z "$(git status --porcelain)"
	if [ $? != 0 ]; then
	git status
	git diff
	echo "Generated flags reference is outdated."
	echo "Please run 'make generate-flags' and submit your changes."; exit 1
	fi
	- name: Check metrics docs
	run: \|
	set -ex
	make metrics-docs
	test -z "$(git status --porcelain)"
	if [ $? != 0 ]; then
	git status
	git diff
	echo "Generated metrics reference is outdated."
	echo "Please run 'make metrics-docs' and submit your changes."; exit 1
	fi

Provide feedback