From 834277321648297522ce2dbbf46559d96ca7d991 Mon Sep 17 00:00:00 2001
From: Markus Heiser <markus.heiser@darmarit.de>
Date: Wed, 19 Jan 2022 10:31:45 +0100
Subject: [mod] manage test.pyright: a commandline to run pyright tests

This patch implements the command and Makefile target::

    ./manage test.pyright
    make test.pyright

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
---
 manage | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'manage')

diff --git a/manage b/manage
index 1f4ffa53b..b70e81f52 100755
--- a/manage
+++ b/manage
@@ -103,6 +103,7 @@ format.:
 test.:
   yamllint  : lint YAML files (YAMLLINT_FILES)
   pylint    : lint PYLINT_FILES, searx/engines, searx & tests
+  pyright   : static type check of python sources
   black     : check black code format
   unit      : run unit tests
   coverage  : run unit tests with coverage
@@ -682,6 +683,15 @@ test.pylint() {
     dump_return $?
 }
 
+
+test.pyright() {
+    build_msg TEST "[pyright] static type check of python sources"
+    nodejs.ensure
+    pyenv.cmd pyright
+    dump_return $?
+}
+
+
 test.black() {
     build_msg TEST "[black] \$BLACK_TARGETS"
     pyenv.cmd black --check --diff "${BLACK_OPTIONS[@]}" "${BLACK_TARGETS[@]}"
-- 
cgit v1.2.3