Rename type-check to check

[johnynek]

close #1179

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 91.62%. Comparing base (04a0e87) to head (6c98571).
Report is 18 commits behind head on main.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1186      +/-   ##
==========================================
+ Coverage   91.32%   91.62%   +0.30%     
==========================================
  Files          96       96              
  Lines       11846    12011     +165     
  Branches     2675     2819     +144     
==========================================
+ Hits        10818    11005     +187     
+ Misses       1028     1006      -22     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.