pub const FULL_RUN: &[&str];
Every check a full (publishing) run reports, in order, so the set of ids is stable whatever fails: a check a run couldn’t reach is reported skipped.