feat(puid): Abbreviate MathOverflow #89

	name: CI

	on:
	push:
	branches: ["*"]
	pull_request:
	branches: ["*"]

	jobs:
	types:
	name: "Typecheck"
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	with:
	submodules: recursive
	- name: Copy rc.py
	run: \|
	cp rc.py.EXAMPLE rc.py

	- run: pipx install poetry
	- uses: actions/setup-python@v4
	with:
	cache: "poetry"
	python-version: "3.10"

	- run: poetry install --no-interaction
	- run: echo "$(poetry env info --path)/bin" >> $GITHUB_PATH

	- uses: jakebailey/pyright-action@v2

	style:
	name: "Style check"
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	submodules: recursive
	- name: Copy rc.py
	run: \|
	cp rc.py.EXAMPLE rc.py
	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.10"
	- uses: actions/cache@v3
	with:
	path: ~/.cache/pip
	key: ${{ runner.os }}-pip
	restore-keys: ${{ runner.os }}-pip
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade ruff codespell tomli
	- name: Run ruff
	run: \|
	ruff check --output-format=github $(git ls-files '*.py')
	ruff format --diff $(git ls-files '*.py')
	- name: Run spell-check
	run: \|
	codespell $(git ls-files)

Provide feedback