From ae0de008bc3a2f87f81720a8c51182da3e0fb8a0 Mon Sep 17 00:00:00 2001 From: beauxq Date: Mon, 8 Apr 2024 21:00:22 -0700 Subject: [PATCH] fix mistake in translating from mypy --- .github/type_check.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/type_check.sh b/.github/type_check.sh index 7a2def2d7e..08b3954518 100755 --- a/.github/type_check.sh +++ b/.github/type_check.sh @@ -2,4 +2,4 @@ if [ "$(basename "$(pwd)")" = ".github" ]; then cd .. fi -xargs pyright -p .github/pyright-config.json +pyright -p .github/pyright-config.json