Function build_observed 

pub fn build_observed(
    export: &str,
    target: &str,
    options: &BuildOptions,
    lean_print_axioms: Option<&[String]>,
) -> Result<Build, Verdict>

build, with the pinned Lean’s #print axioms for the target when the producing run has it.