pub fn skipped(why: &str) -> Diagnostic
Why the cross-check did not run, as an informational diagnostic.