Speed up typechecking CI.