ci: lint commits on push or in a pull request #1

	---
	name: Continuous Integration

	# Trigger this workflow manually, by pushing commits to any branch, or
	# by filing a pull request.
	on:
	workflow_dispatch:
	push:
	pull_request:

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	setup:
	runs-on: windows-latest
	steps:
	- id: cache-workdir
	uses: actions/cache@v3
	with:
	key: workdir-${{ github.sha }}
	path: .
	- if: steps.cache-workdir.outputs.cache-hit != 'true'
	uses: actions/checkout@v4
	with:
	fetch-depth: 0

	lint:
	needs: setup
	runs-on: windows-latest
	steps:
	- uses: actions/cache/restore@v3
	with:
	key: workdir-${{ github.sha }}
	path: .
	- uses: pre-commit/action@v3.0.0

Provide feedback