Fix wrong rename of set_start_state in 63e0c3a (#2497) #6467

	# This is a format job. Pre-commit has a first-party GitHub action, so we use
	# that: https://github.com/pre-commit/action

	name: Formatting (pre-commit)

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

	jobs:
	pre-commit:
	name: Format
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v4
	with:
	python-version: '3.10'
	- name: Install clang-format-14
	run: sudo apt-get install clang-format-14
	- uses: pre-commit/[email protected]
	id: precommit
	- name: Upload pre-commit changes
	if: failure() && steps.precommit.outcome == 'failure'
	uses: rhaschke/upload-git-patch-action@main
	with:
	name: pre-commit

Provide feedback