pub fn body(
status: &StatusReport,
trailers: &[(String, String, String)],
) -> StringExpand description
The pull request body: totals, a table of every task’s evidence, what
is open, mutation results and tokens, and what verified does not mean.