From 7987986ee4355194604d8f3cf0094a97f6eaa414 Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sun, 24 Aug 2025 22:03:53 +0800 Subject: [PATCH] chore: top-level makefile for common dev tasks --- Makefile | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..0ca3ae9 --- /dev/null +++ b/Makefile @@ -0,0 +1,8 @@ +.PHONY: lint test + +lint: + uv run pyright + uv run stubtest + +test: + uv run tests/test.py