DefinitelyTyped repository testing infrastructure