From 13370adbf4bc3acc0af3b8d7916d834e71931f7f Mon Sep 17 00:00:00 2001 From: nuernber Date: Tue, 11 Aug 2026 14:43:40 -0700 Subject: [PATCH] chore: ratchet down basedpyright-code-budget after merge --- basedpyright-code-budget.json | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/basedpyright-code-budget.json b/basedpyright-code-budget.json index 6e3cbdff9d0..a0042234935 100644 --- a/basedpyright-code-budget.json +++ b/basedpyright-code-budget.json @@ -57,7 +57,7 @@ "limit": 5719 }, "reportMissingTypeArgument": { - "limit": 15657 + "limit": 15656 }, "reportMissingTypeStubs": { "limit": 40 @@ -99,19 +99,19 @@ "limit": 0 }, "reportUnknownArgumentType": { - "limit": 44832 + "limit": 44831 }, "reportUnknownLambdaType": { "limit": 113 }, "reportUnknownMemberType": { - "limit": 39269 + "limit": 39267 }, "reportUnknownParameterType": { - "limit": 19988 + "limit": 19987 }, "reportUnknownVariableType": { - "limit": 30923 + "limit": 30922 }, "reportUnnecessaryCast": { "limit": 118