From 3319684777bfc364d221d065e44bdbc2e5306c3d Mon Sep 17 00:00:00 2001 From: mateo-berri <277851410+mateo-berri@users.noreply.github.com> Date: Mon, 17 Aug 2026 21:29:54 +0000 Subject: [PATCH] chore(typing): re-ratchet lint budgets against the merged base --- basedpyright-code-budget.json | 6 +++--- type-discipline-budget.json | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/basedpyright-code-budget.json b/basedpyright-code-budget.json index ba131ecac4c..30a35a62608 100644 --- a/basedpyright-code-budget.json +++ b/basedpyright-code-budget.json @@ -1,6 +1,6 @@ { "reportAny": { - "limit": 22343 + "limit": 22327 }, "reportArgumentType": { "limit": 2578 @@ -18,7 +18,7 @@ "limit": 40 }, "reportDeprecated": { - "limit": 213 + "limit": 197 }, "reportDuplicateImport": { "limit": 19 @@ -99,7 +99,7 @@ "limit": 0 }, "reportUnknownArgumentType": { - "limit": 44709 + "limit": 44666 }, "reportUnknownLambdaType": { "limit": 112 diff --git a/type-discipline-budget.json b/type-discipline-budget.json index 6d70a6aa5f4..c988ff61815 100644 --- a/type-discipline-budget.json +++ b/type-discipline-budget.json @@ -27,7 +27,7 @@ "limit": 0 }, "LIT010": { - "limit": 16713 + "limit": 16701 }, "LIT011": { "limit": 5590