feat(actions): Type checking action

[Gobot1234]

Spoke a little to Jorge Martinez Garrido about this I think this is a reasonable selection of type checkers to support.

Users should pin the type checker themselves inside of their ci_types requirements

[Gobot1234]

Are the fails anything to be worried about?
I do also worry with the type checker tests they'll fail here if a downstream user of the test doesn't have theirs passing on their main branch no?

[jorgepiloto]

Hi @Gobot1234, thanks for your time implementing this action. However, I don't think we should merge it. The reason is that we assume that code-style runs via pre-commit. This has two advantages:

• It forces projects to use pre-commit if they want to use the code-style action
• We delegate the linters and tools to the projects

Thus, despite your effort here, I'm suggesting to reject this contribution.

[Gobot1234]

@jorgepiloto, thank you for the thoughts. The reason I am opting for this over precommit is because it doesn't support annotating the changes e.g.

This makes it far easier to tell what's going wrong cause it's got context.

We also aren't using it for typical precommit because running a type checker on your whole codebase takes yonks and doing that for every commit slows down development.