fn record_result( out: &Path, config: &Configuration, case: &Case, capture: &Captured, record: &mut Value, allow_build: bool, metal_limit_gb: f64, ) -> Result<()>