Add continuous integration to type-check contracts before PRs can be merged #45

Closed anton-trunov closed 2 years ago