Function check 

pub fn check(
    root_path: &Path,
    search_paths: &[&Path],
    ci_info: &CiInfo,
    diag_ctx: DiagCtx,
)