Function run_lake_build 

fn run_lake_build(
    genv: GlobalEnv<'_, '_>,
    def_ids: &[DefId],
) -> Result<Vec<LakeDiagnostic>>

Runs a single lake build on the checking files of all the def_ids