Deprecate `header_ids` in favor of `header_id_prefix`, add `header_id_prefix_in_href` #181

	name: CodSpeed benchmarks

	on:
	push:
	branches:
	- "main"
	pull_request:
	workflow_dispatch:

	permissions:
	contents: read
	id-token: write

	jobs:
	benchmarks:
	name: Run benchmarks
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v5
	with:
	submodules: true
	- name: Obtain Rust
	run: rustup override set nightly
	- name: Install cargo-codspeed
	run: cargo install cargo-codspeed
	- name: Build benchmarks
	run: cargo codspeed build
	- name: Run the benchmarks
	uses: CodSpeedHQ/action@v4
	with:
	mode: instrumentation
	run: cargo codspeed run

Provide feedback