[stacked 3/5] metrics: simplify policy/backend metrics collection interface. #1596

	name: Project Checks

	on:
	push:
	branches:
	- main
	- "release-*"
	- "test/**"
	pull_request:
	branches:
	- main
	- "release-*"

	env:
	GO_VERSION: "1.22.1"

	jobs:
	verify:
	name: Minimal PR Verification
	runs-on: ubuntu-22.04
	timeout-minutes: 5
	steps:
	- name: Check out repository
	uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Install golang toolchain
	uses: actions/setup-go@v5
	with:
	go-version: ${{ env.GO_VERSION }}

	- name: Check PR for whitespace errors
	if: ${{ github.event_name == 'pull_request' }}
	run: \|
	if ! git diff-index --check origin/${{ github.base_ref }} --; then
	echo "This PR would introduce the errors shown above."
	echo "Please fix them and update the PR."
	exit 1
	fi

	- name: Verify dependencies
	run: \|
	make verify-godeps

	- name: Verify formatting
	run: \|
	make verify-fmt

	- name: Verify generated assets
	run: \|
	make verify-generate

	- name: Verify binary builds
	run: \|
	make verify-build

	- name: Install gh-pages build dependencies
	run: \|
	pip3 install --user -r docs/requirements.txt
	echo "`python3 -m site --user-base`/bin" >> $GITHUB_PATH

	- name: Verify documentation / update of gh-pages
	run: \|
	git config user.name "Github"
	git config user.email "[email protected]"
	./scripts/build/update-gh-pages.sh

Provide feedback