chore(ci): update nolints before docs and leanchecker (#2250)
chore(ci): update nolints before docs and leanchecker (#2250)

* Update build.yml

* run lint+tests if build step succeeds (see #2250) (#2252)

* run lint+tests if build succeeds

* move lint (and nolints.txt) before tests

* Apply suggestions from code review

Co-authored-by: Bryan Gin-ge Chen <6e05157ce10643a7cfc5a3d4e29e4fa5cffe1fc6@gmail.com>
Co-authored-by: mergify[bot] <b09a6ee808b67e98a221404e7aaa52e0398a4954@users.noreply.github.com>
leanprover-community/mathlib,leanprover-community/mathlib