From efeb2cddda93be3de5192db88d497938d4a6d753 Mon Sep 17 00:00:00 2001 From: mateo-berri <277851410+mateo-berri@users.noreply.github.com> Date: Mon, 17 Aug 2026 17:51:33 +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 c09369b9b2c..84313c6a940 100644 --- a/basedpyright-code-budget.json +++ b/basedpyright-code-budget.json @@ -1,6 +1,6 @@ { "reportAny": { - "limit": 22344 + "limit": 22328 }, "reportArgumentType": { "limit": 2578 @@ -18,7 +18,7 @@ "limit": 40 }, "reportDeprecated": { - "limit": 213 + "limit": 201 }, "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 ca848190a32..45b3ec68ca1 100644 --- a/type-discipline-budget.json +++ b/type-discipline-budget.json @@ -27,7 +27,7 @@ "limit": 0 }, "LIT010": { - "limit": 16713 + "limit": 16707 }, "LIT011": { "limit": 5591