Constant RED_UI_PINNED_VERSION 

pub const RED_UI_PINNED_VERSION: &str = "0.0.0-dev";

Exact red-ui version this red binary was tested against. CI that validates the red↔red-ui pair sets this before the release build.