Include stats in IPC messages #538

	name: PR Benchmarks

	on:
	pull_request:
	types: [ labeled, synchronize ]
	branches: [ "develop" ]
	workflow_dispatch: { }

	permissions:
	actions: write
	contents: read
	pull-requests: write

	jobs:
	bench:
	runs-on: ubuntu-latest-large
	if: ${{ contains(github.event.head_commit.message, '[benchmark]') \|\| github.event.label.name == 'benchmark' && github.event_name == 'pull_request' }}
	steps:
	# We remove the benchmark label first so that the workflow can be re-triggered.
	- uses: actions-ecosystem/action-remove-labels@v1
	with:
	labels: benchmark

	- uses: actions/checkout@v4
	with:
	submodules: recursive

	- uses: ./.github/actions/cleanup
	- uses: ./.github/actions/setup-zig
	- uses: ./.github/actions/setup-rust
	- uses: ./.github/actions/setup-python

	- name: Install Protoc
	uses: arduino/setup-protoc@v3

	- name: Bench - Vortex
	run: cargo bench \| tee bench.txt

	- name: Store benchmark result
	uses: benchmark-action/[email protected]
	with:
	name: Vortex Benchmarks
	tool: cargo
	github-token: ${{ secrets.GITHUB_TOKEN }}
	output-file-path: bench.txt
	summary-always: true
	auto-push: true
	fail-on-alert: false

Provide feedback