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