From dc84881c879d6f9c4094f267c4562a419b6d1934 Mon Sep 17 00:00:00 2001 From: Johan Lundberg Date: Fri, 20 Feb 2026 15:03:20 +0100 Subject: [PATCH] replace check.sh with Makefile --- scripts/check.sh | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100755 scripts/check.sh diff --git a/scripts/check.sh b/scripts/check.sh deleted file mode 100755 index 2615b9e..0000000 --- a/scripts/check.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/usr/bin/env bash -# Run all quality checks -set -euo pipefail - -echo "==> Formatting..." -uv run ruff format src/ tests/ - -echo "==> Linting..." -uv run ruff check src/ tests/ --fix - -echo "==> Type checking..." -uv run ty check src/ - -echo "==> Testing..." -uv run pytest -v - -echo "==> All checks passed!"