Add action to run precommit on pushes #1

	name: Pre-commit

	on:
	push:

	# Declare default permissions as write only.
	permissions: read-all

	# If another push to the same PR or branch happens while this workflow is still running,
	# cancel the earlier run in favor of the next run.
	#
	# There's no point in testing an outdated version of the code. GitHub only allows
	# a limited number of job runners to be active at the same time, so it's better to cancel
	# pointless jobs early so that more useful jobs can run sooner.
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	main:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.1.7
	with:
	submodules: false
	- uses: actions/setup-python@v4
	with:
	python-version: 3.x
	- uses: pre-commit/action@v3.0.1
	- uses: pre-commit-ci/lite-action@v1.1.0
	if: always()

Provide feedback