Fix: filtered records holding up pipeline with destination batching #2857

	name: validate-generated-files

	on:
	push:
	branches: [ main ]
	pull_request:

	jobs:
	validate-generated-files:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Set up Go
	uses: actions/setup-go@v5
	with:
	go-version-file: 'go.mod'

	- name: Check generated files
	env:
	BUF_TOKEN: ${{ secrets.BUF_TOKEN }}
	run: \|
	export PATH=$PATH:$(go env GOPATH)/bin
	make install-tools generate proto-generate
	git diff
	git diff --exit-code --numstat

Provide feedback