3 ms·

here's ours for pytype (a python type checker): https://google.github.io/pytype/errors.html https://google.github.io/pytype/errors.html