tinker/scripts/lint
Andrii Grynenko 604e00c700 Sync contents
2025-11-11 05:56:15 +00:00

17 lines
261 B
Bash
Executable file

#!/usr/bin/env bash
set -e
cd "$(dirname "$0")/.."
echo "==> Running ruff"
uv run ruff check .
echo "==> Running pyright"
uv run pyright --threads 64
echo "==> Running mypy"
uv run mypy .
echo "==> Making sure it imports"
uv run python -c 'import tinker'