//! GitHub Actions workflow commands (`::error file=…,line=…::…`): their
//! escaping and the limits a step has, shared by `speccoder`'s report
//! annotations and `speccoder-verify`'s fallback when it cannot publish
//! its check.
/// Bytes a step summary may take (GitHub's cap is 1 MiB per step).
pub const SUMMARY_BUDGET: usize = 1_000_000;
/// Annotations of one kind GitHub shows per step.
pub const ANNOTATIONS_PER_KIND: usize = 10;
/// Escapes workflow-command data.
/// Escapes a workflow-command property.