From 316fb878b90dc26d1900663dee625f4f057d5c1d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Mon, 3 Jul 2023 22:56:41 +0200
Subject: [PATCH] Makefile: Also add pyright check.

---
 Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index c7f5730..9c28578 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,5 @@
-.PHONY: all output check test sphinx-apidoc documentation
+.PHONY: all output check test sphinx-apidoc documentation \
+	check_style check_type check_pyright
 
 all: output
 
@@ -18,7 +19,10 @@ check_style:
 check_type:
 	mypy -p muppet
 
-check: check_style check_type
+check_pyright:
+	pyright $(shell find muppet -type f -name '*.py')
+
+check: check_style check_type check_pyright
 
 # TODO only require coverage if `python -m pytest -VV | grep pytest-cov` return true
 PYTEST_FLAGS = --cov=muppet --cov-branch --cov-report=html
-- 
GitLab