Lint

cleanup: replace occurrences of U+02D9 with backtick character #5

	name: Lint

	on:
	pull_request: # Trigger on PRs to develop and v4
	branches:
	- develop
	- v4
	push:
	branches:
	- cleanup-backticks-linter

	jobs:
	run:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	ref: ${{ github.event.pull_request.head.sha }}
	fetch-depth: 0

	- name: Get out of detached head state
	run: \|
	git fetch origin ${{ github.base_ref }}
	git fetch origin ${{ github.ref }}
	git checkout FETCH_HEAD --

	# Prevent @rokm from accidentally adding U+02D9 characters instead of backticks.
	- name: Ensure that no U+02D9 characters are present
	run: if git grep -I $'\u02d9'; then false; else true; fi

	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: 3.8

	- name: Install dependencies
	run: pip install --upgrade flake8 yapf==0.32.0 toml

	- name: Test that yapf has been applied
	# If this check fails for your PR, run `yapf -rip .`
	run: yapf --recursive --parallel --diff .

	- name: Run Lint
	run: flake8 .

Provide feedback