pub fn budget_notice(total: usize) -> Option<String>Expand description
The trailing total notice: always emitted after the annotation stream when
at least one annotation exists, so consumers know when GitHub’s 10-per-type
display cap truncated the visible set. There is deliberately no
producer-side cap (the bundled action keeps its own MAX_ANNOTATIONS
during migration).