pub fn set_binary_stamp(commit: &'static str, dirty: bool)Expand description
Called once by the lean-ctx binary at start with its own compile-time
stamp (crates/lean-ctx/build.rs): the binary links every crate, so its
commit and dirty flag describe the whole build. An empty commit (a
packaged crate, no git) keeps the Engine’s stamp. An official build
keeps its release commit.