From 99f65f3dadf67fb18b6bbee90bd77d8dbd10f9f9 Mon Sep 17 00:00:00 2001 From: beauxq Date: Tue, 16 Apr 2024 01:38:40 -0700 Subject: [PATCH] type error for testing CI --- .github/type_check.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/type_check.py b/.github/type_check.py index 983db9c9bd..db9595817a 100644 --- a/.github/type_check.py +++ b/.github/type_check.py @@ -4,7 +4,7 @@ import sys config = Path(__file__).parent / "pyright-config.json" -command = ("pyright", "-p", str(config)) +command: int = ("pyright", "-p", str(config)) print(" ".join(command)) try: