Add a little check to make sure the pre-commit hooks ran as expected #5

	name: Check pre-commit hooks ran

	on:
	- push

	jobs:
	check-precommit-hook:
	runs-on: ubuntu-latest

	steps:
	- name: Setup python
	uses: actions/setup-python@v5
	with:
	python-version: 3.11.1

	- name: Install pre-commit
	run: pip install pre-commit

	- name: Check that the pre-commit hook has been run
	id: check
	run: \|
	set +e
	output=$(pre-commit run --from-ref origin/HEAD --to-ref HEAD 2>&1)
	exit_code=$?
	set -e

	if [[ $exit_code -eq 0 ]]; then
	echo "Pre-commit hook ran successfully"
	else
	PR_NUMBER=${{ github.event.pull_request.number }}
	GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }}
	COMMENT="⚠️ Make sure you have [pre-commit](https://pre-commit.com]) installed.\n\npre-commit output: ${output}"

	echo $output
	gh pr comment $COMMENT_URL "https://api.github.com/repos/${{ github.repository }}/issues/${PR_NUMBER}" -b $COMMENT
	fi

Provide feedback