ref: Generalize propagation benchmark functionality #5805

	name: Checks

	# Cancel existing jobs on new pushes.
	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	on:
	push:
	pull_request:
	branches:
	- main

	jobs:
	lint:
	runs-on: ubuntu-latest
	env:
	PRE_COMMIT_HOME: '/tmp/pre-commit'

	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- uses: actions/setup-python@v5
	with:
	python-version: '3.12'

	- uses: actions/cache@v4
	with:
	path: \|
	${{ env.PRE_COMMIT_HOME }}
	key: ${{ runner.os }}-${{ hashFiles('.pre-commit-config.yaml') }}

	- name: Install pre-commit
	run: pip install pre-commit

	- name: Run pre-commit
	run: pre-commit run --all-files --show-diff-on-failure

Provide feedback