Skip to content

Commit

Permalink
chore(scripts): update nolints.txt (#5105)
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
leanprover-community-bot committed Nov 25, 2020
1 parent 7e66984 commit 83f293e
Showing 1 changed file with 40 additions and 40 deletions.
80 changes: 40 additions & 40 deletions scripts/copy-mod-doc-exceptions.txt
View file
Expand Up @@ -104,7 +104,7 @@ src/algebra/group_power/basic.lean : line 501 : ERR_LIN : Line has more than 100
src/algebra/group_power/lemmas.lean : line 536 : ERR_LIN : Line has more than 100 characters
src/algebra/group_with_zero/basic.lean : line 241 : ERR_LIN : Line has more than 100 characters
src/algebra/group_with_zero/basic.lean : line 262 : ERR_LIN : Line has more than 100 characters
src/algebra/group_with_zero/power.lean : line 165 : ERR_LIN : Line has more than 100 characters
src/algebra/group_with_zero/power.lean : line 153 : ERR_LIN : Line has more than 100 characters
src/algebra/invertible.lean : line 216 : ERR_LIN : Line has more than 100 characters
src/algebra/invertible.lean : line 224 : ERR_LIN : Line has more than 100 characters
src/algebra/invertible.lean : line 233 : ERR_LIN : Line has more than 100 characters
Expand Down Expand Up @@ -251,43 +251,43 @@ src/analysis/special_functions/pow.lean : line 1338 : ERR_LIN : Line has more th
src/analysis/special_functions/pow.lean : line 295 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/pow.lean : line 296 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/pow.lean : line 548 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1109 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1123 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1126 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1129 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1140 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1144 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1156 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1164 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 120 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1329 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1330 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1332 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1361 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1363 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1366 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1380 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1390 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1451 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1502 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1552 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1624 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1807 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1888 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1891 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1998 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 2001 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 2101 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 2145 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 691 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 725 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 745 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 750 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 757 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 799 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 802 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 804 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 98 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1017 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1051 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 106 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1071 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1076 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1083 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1125 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1128 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1130 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 131 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1435 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1449 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1452 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1455 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1466 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1470 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1482 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1490 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1655 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1656 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1658 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1687 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1689 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1692 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1706 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1716 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1777 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1828 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1878 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 1950 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 2133 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 2214 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 2217 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 2324 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 2327 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 2427 : ERR_LIN : Line has more than 100 characters
src/analysis/special_functions/trigonometric.lean : line 2471 : ERR_LIN : Line has more than 100 characters
src/analysis/specific_limits.lean : line 582 : ERR_LIN : Line has more than 100 characters
src/category_theory/abelian/exact.lean : line 70 : ERR_LIN : Line has more than 100 characters
src/category_theory/abelian/exact.lean : line 76 : ERR_LIN : Line has more than 100 characters
Expand Down Expand Up @@ -1177,8 +1177,8 @@ src/linear_algebra/matrix.lean : line 622 : ERR_LIN : Line has more than 100 cha
src/linear_algebra/matrix.lean : line 693 : ERR_LIN : Line has more than 100 characters
src/linear_algebra/matrix.lean : line 706 : ERR_LIN : Line has more than 100 characters
src/linear_algebra/matrix.lean : line 847 : ERR_LIN : Line has more than 100 characters
src/linear_algebra/multilinear.lean : line 107 : ERR_LIN : Line has more than 100 characters
src/linear_algebra/multilinear.lean : line 460 : ERR_LIN : Line has more than 100 characters
src/linear_algebra/multilinear.lean : line 126 : ERR_LIN : Line has more than 100 characters
src/linear_algebra/multilinear.lean : line 479 : ERR_LIN : Line has more than 100 characters
src/linear_algebra/multilinear.lean : line 63 : ERR_LIN : Line has more than 100 characters
src/linear_algebra/multilinear.lean : line 78 : ERR_LIN : Line has more than 100 characters
src/linear_algebra/special_linear_group.lean : line 53 : ERR_LIN : Line has more than 100 characters
Expand Down

0 comments on commit 83f293e

Please sign in to comment.