Skip to content

Commit

Permalink
chore(scripts): update nolints.txt (#4157)
Browse files Browse the repository at this point in the history
I am happy to remove some nolints for you!
  • Loading branch information
leanprover-community-bot committed Sep 15, 2020
1 parent b83362e commit 7c321f8
Showing 1 changed file with 0 additions and 17 deletions.
17 changes: 0 additions & 17 deletions scripts/nolints.txt
Original file line number Diff line number Diff line change
Expand Up @@ -89,14 +89,6 @@ apply_nolint category_theory.limits.cone.extensions doc_blame
apply_nolint category_theory.limits.cone_morphism has_inhabited_instance
apply_nolint category_theory.limits.cones.functoriality doc_blame

-- category_theory/limits/functor_category.lean
apply_nolint category_theory.limits.evaluate_functor_category_colimit_cocone doc_blame
apply_nolint category_theory.limits.evaluate_functor_category_limit_cone doc_blame
apply_nolint category_theory.limits.functor_category_colimit_cocone doc_blame
apply_nolint category_theory.limits.functor_category_is_colimit_cocone doc_blame
apply_nolint category_theory.limits.functor_category_is_limit_cone doc_blame
apply_nolint category_theory.limits.functor_category_limit_cone doc_blame

-- category_theory/limits/over.lean
apply_nolint category_theory.functor.to_cocone doc_blame
apply_nolint category_theory.functor.to_cone doc_blame
Expand Down Expand Up @@ -135,12 +127,6 @@ apply_nolint category_theory.monoidal_functor has_inhabited_instance
apply_nolint category_theory.monoidal_functor.ε_iso doc_blame
apply_nolint category_theory.monoidal_functor.μ_iso doc_blame

-- category_theory/natural_isomorphism.lean
apply_nolint category_theory.nat_iso.hcomp doc_blame
apply_nolint category_theory.nat_iso.is_iso_app_of_is_iso doc_blame
apply_nolint category_theory.nat_iso.is_iso_of_is_iso_app doc_blame
apply_nolint category_theory.nat_iso.of_components doc_blame

-- category_theory/opposites.lean
apply_nolint category_theory.functor.left_op doc_blame
apply_nolint category_theory.functor.op doc_blame
Expand Down Expand Up @@ -635,9 +621,6 @@ apply_nolint multiset.pi.empty unused_arguments
-- data/nat/prime.lean
apply_nolint nat.min_fac_aux doc_blame

-- data/nat/sqrt.lean
apply_nolint nat.sqrt_aux doc_blame

-- data/num/basic.lean
apply_nolint cast_num doc_blame
apply_nolint cast_pos_num doc_blame unused_arguments
Expand Down

0 comments on commit 7c321f8

Please sign in to comment.