From 2e8dbf68904ffbccb7529f87a2207d6289e6a2e7 Mon Sep 17 00:00:00 2001 From: leanprover-community-bot-assistant Date: Sun, 3 Nov 2024 00:15:17 +0000 Subject: [PATCH] chore(scripts): update nolints.json (#18565) I am happy to remove some nolints for you! --- scripts/nolints.json | 22 ---------------------- 1 file changed, 22 deletions(-) diff --git a/scripts/nolints.json b/scripts/nolints.json index 438084797d9f2..9d9d4a423de37 100644 --- a/scripts/nolints.json +++ b/scripts/nolints.json @@ -319,8 +319,6 @@ ["docBlame", "Shrink.rec"], ["docBlame", "SlashAction.map"], ["docBlame", "SlashInvariantForm.toFun"], - ["docBlame", "SlimCheck.NamedBinder"], - ["docBlame", "SlimCheck.«command#test_»"], ["docBlame", "StarAlgEquiv.restrictScalars"], ["docBlame", "StarAlgHom.restrictScalars"], ["docBlame", "StateT.callCC"], @@ -544,26 +542,6 @@ ["docBlame", "SimpleGraph.Subgraph.Adj"], ["docBlame", "SimpleGraph.Subgraph.verts"], ["docBlame", "SimpleGraph.Walk.notNilRec"], - ["docBlame", "SlimCheck.Configuration.maxSize"], - ["docBlame", "SlimCheck.Configuration.numInst"], - ["docBlame", "SlimCheck.Configuration.numRetries"], - ["docBlame", "SlimCheck.Configuration.quiet"], - ["docBlame", "SlimCheck.Configuration.randomSeed"], - ["docBlame", "SlimCheck.Configuration.traceDiscarded"], - ["docBlame", "SlimCheck.Configuration.traceShrink"], - ["docBlame", "SlimCheck.Configuration.traceShrinkCandidates"], - ["docBlame", "SlimCheck.Configuration.traceSuccesses"], - ["docBlame", "SlimCheck.NoShrink.get"], - ["docBlame", "SlimCheck.NoShrink.mk"], - ["docBlame", "SlimCheck.PrintableProp.printProp"], - ["docBlame", "SlimCheck.SampleableExt.interp"], - ["docBlame", "SlimCheck.SampleableExt.proxy"], - ["docBlame", "SlimCheck.SampleableExt.sample"], - ["docBlame", "SlimCheck.Shrinkable.shrink"], - ["docBlame", "SlimCheck.TestResult.isFailure"], - ["docBlame", "SlimCheck.TestResult.toString"], - ["docBlame", "SlimCheck.Testable.run"], - ["docBlame", "SlimCheck.Testable.runProp"], ["docBlame", "Stream'.WSeq.«term_~ʷ_»"], ["docBlame", "Submodule.quotientPi_aux.invFun"], ["docBlame", "Submodule.quotientPi_aux.toFun"],