Repository navigation

FIX: Prevent pooled connections from retaining empty transactions #49

	name: PR Performance Report
Check warning on line 1 in .github/workflows/pr-profiler-report.yml View workflow run for this annotation GitHub Actions / PR Performance Report Workflow execution policy warning (evaluate mode) On November 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target

	# Privileged reporting only. No PR checkout, builds, or artifact execution here.
	on:
	pull_request_target:
	branches: [main]
	types: [opened, synchronize, reopened, ready_for_review]

	permissions:
	contents: read
	pull-requests: write

	concurrency:
	group: profiler-report-${{ github.event.pull_request.number }}
	cancel-in-progress: true

	jobs:
	report:
	runs-on: ubuntu-latest
	timeout-minutes: 230
	steps:
	- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4.4.0
	with:
	ref: ${{ github.event.pull_request.base.sha }}
	persist-credentials: false
	- uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
	with:
	python-version: "3.13"
	- name: Publish validated paired benchmark results
	env:
	GH_TOKEN: ${{ github.token }}
	PR_NUMBER: ${{ github.event.pull_request.number }}
	PR_HEAD: ${{ github.event.pull_request.head.sha }}
	run: python .github/scripts/post_profiler_comment.py --pr "$PR_NUMBER" --head "$PR_HEAD"