Lint

Fix P2025 extraction to use short_title instead of title #112

	name: Lint

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main

	jobs:
	python_lint:
	name: Python (ruff, mypy)
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.10"
	cache: "pip"

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	python -m pip install -e ".[dev]"

	- name: Ruff
	run: python -m ruff check src tests

	- name: Ruff format
	run: python -m ruff format --check src tests

	- name: Mypy
	run: python -m mypy src
	continue-on-error: true

	web_lint:
	name: Web (eslint)
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Setup Node.js
	uses: actions/setup-node@v4
	with:
	node-version: "20"
	cache: "npm"
	cache-dependency-path: web/package-lock.json

	- name: Install dependencies
	working-directory: web
	run: npm ci

	- name: ESLint
	working-directory: web
	run: npm run lint -- --max-warnings=0

Provide feedback