Is there a github workflow to check the coverage of type annotation?

[linrongbin16]

Hi, I'm developing a lua plugin for Neovim, and I'm using annotations to improve the type check.

But now I even want to check the coverage of the annotations, is there a github workflow to check the coverage of type annotation?