<commit_before>import .all
run_cmd tactic.skip

-- algebra/free_algebra.lean
apply_nolint free_algebra.semiring check_reducibility

-- algebra/hom/group.lean
apply_nolint monoid_hom.ext_iff to_additive_doc
apply_nolint mul_hom.ext_iff to_additive_doc
apply_nolint one_hom.comp_assoc to_additive_doc

-- category_theory/limits/filtered_colimit_commutes_finite_limit.lean
apply_nolint category_theory.limits.colimit_limit_to_limit_colimit_injective fintype_finite
apply_nolint category_theory.limits.colimit_limit_to_limit_colimit_is_iso fails_quickly

-- category_theory/limits/shapes/biproducts.lean
apply_nolint category_theory.limits.has_biproduct.of_has_coproduct fintype_finite
apply_nolint category_theory.limits.has_biproduct.of_has_product fintype_finite

-- category_theory/limits/shapes/finite_limits.lean
apply_nolint category_theory.limits.has_colimits_of_shape_wide_pushout_shape fintype_finite
apply_nolint category_theory.limits.has_limits_of_shape_wide_pullback_shape fintype_finite

-- category_theory/limits/shapes/finite_products.lean
apply_nolint category_theory.limits.has_colimits_of_shape_discrete fintype_finite
apply_nolint category_theory.limits.has_fintype_coproducts fintype_finite
apply_nolint category_theory.limits.has_fintype_products fintype_finite
apply_nolint category_theory.limits.has_limits_of_shape_discrete fintype_finite

-- category_theory/preadditive/biproducts.lean
apply_nolint category_theory.biproduct.column_nonzero_of_iso' fintype_finite

-- computability/partrec.lean
apply_nolint computable doc_blame
apply_nolint computable₂ doc_blame
apply_nolint nat.partrec doc_blame
apply_nolint nat.rfind doc_blame
apply_nolint nat.rfind_opt doc_blame
apply_nolint nat.rfind_x doc_blame
apply_nolint partrec doc_blame
apply_nolint partrec₂ doc_blame

-- computability/primrec.lean
apply_nolint nat.cases doc_blame
apply_nolint nat.elim doc_blame
apply_nolint nat.primrec'.vec doc_blame
apply_nolint nat.unpaired doc_blame
apply_nolint primcodable.of_equiv doc_blame
apply_nolint primcodable.subtype doc_blame
apply_nolint primrec.dom_fintype fintype_finite

-- computability/turing_machine.lean
apply_nolint turing.TM1to1.exists_enc_dec fintype_finite

-- control/basic.lean
apply_nolint is_comm_applicative doc_blame
apply_nolint list.mmap_accuml doc_blame
apply_nolint list.mmap_accumr doc_blame
apply_nolint list.mpartition doc_blame
apply_nolint mtry doc_blame
apply_nolint mzip_with doc_blame<commit_msg>chore(scripts): update nolints.txt (#16409)<commit_after>import .all
run_cmd tactic.skip

-- algebra/free_algebra.lean
apply_nolint free_algebra.semiring check_reducibility

-- algebra/hom/group.lean
apply_nolint monoid_hom.ext_iff to_additive_doc
apply_nolint mul_hom.ext_iff to_additive_doc
apply_nolint one_hom.comp_assoc to_additive_doc

-- category_theory/limits/filtered_colimit_commutes_finite_limit.lean
apply_nolint category_theory.limits.colimit_limit_to_limit_colimit_is_iso fails_quickly

-- category_theory/limits/shapes/finite_products.lean
apply_nolint category_theory.limits.has_fintype_coproducts fintype_finite

-- computability/partrec.lean
apply_nolint computable doc_blame
apply_nolint computable₂ doc_blame
apply_nolint nat.partrec doc_blame
apply_nolint nat.rfind doc_blame
apply_nolint nat.rfind_opt doc_blame
apply_nolint nat.rfind_x doc_blame
apply_nolint partrec doc_blame
apply_nolint partrec₂ doc_blame

-- computability/primrec.lean
apply_nolint nat.cases doc_blame
apply_nolint nat.elim doc_blame
apply_nolint nat.primrec'.vec doc_blame
apply_nolint nat.unpaired doc_blame
apply_nolint primcodable.of_equiv doc_blame
apply_nolint primcodable.subtype doc_blame
apply_nolint primrec.dom_fintype fintype_finite

-- computability/turing_machine.lean
apply_nolint turing.TM1to1.exists_enc_dec fintype_finite

-- control/basic.lean
apply_nolint is_comm_applicative doc_blame
apply_nolint list.mmap_accuml doc_blame
apply_nolint list.mmap_accumr doc_blame
apply_nolint list.mpartition doc_blame
apply_nolint mtry doc_blame
apply_nolint mzip_with doc_blame
{'fraction_non_alphanumeric': 0.04444996275142786, 'fraction_numerical': 0.0022349143282840824, 'mean_word_length': 8.455399061032864, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1635885', 'n_tokens_mistral': 1544, 'n_tokens_neox': 1428, 'n_words': 224}