Lint

pipeline files in wrong dir #1

	name: Lint
	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main

	jobs:
	style:
	name: Check style with ruff and black
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-python@v2
	with:
	python-version: 3.10
	- name: style
	run: \|
	pip3 install ruff==0.3.5
	ruff check .
	ruff format --check .

	pyright:
	name: Typechecking with pyright
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-python@v2
	with:
	python-version: 3.10
	- name: pyright
	run: \|
	pip install pyright .
	pyright

Provide feedback