Merge master into nightly-testing

leanprover-community · Nov 3, 2024 · d1743c2 · d1743c2
2 parents 9e052d7 + 2e8dbf6
commit d1743c2
Showing 1 changed file with 0 additions and 22 deletions.
diff --git 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"],