A CI job should be set up for automated testing as well as automated type-checking.
A CI job should be set up for automated testing as well as automated
type-checking.