Closed wydengyre closed 2 years ago
Previously, there appeared to be two ways to invoke typechecking: the Makefile and npm/package.json. This commit reduces ambiguity by moving CI typechecking to the Makefile, where all the other build steps live.
@robertknight not sure if this was actually something you had done intentionally. If so, it might be worth adding a comment?
Previously, there appeared to be two ways to invoke typechecking: the Makefile and npm/package.json. This commit reduces ambiguity by moving CI typechecking to the Makefile, where all the other build steps live.