huskies: merge 927

This commit is contained in:
dave
2026-05-12 17:55:12 +00:00
parent b8945654bf
commit 03a99b3cf1
33 changed files with 119 additions and 25 deletions
+2
View File
@@ -240,6 +240,7 @@ fn parse_coverage_output(output: &str, passed: bool) -> String {
}
/// Extract a value from lines like `"Rust line coverage: 62.5%"`.
#[allow(clippy::string_slice)] // starts_with(prefix) guarantees prefix.len() is a char boundary
fn extract_line_value(output: &str, prefix: &str) -> Option<String> {
output
.lines()
@@ -248,6 +249,7 @@ fn extract_line_value(output: &str, prefix: &str) -> Option<String> {
}
/// Extract a value from the summary block: `" Overall: 62.5%"`.
#[allow(clippy::string_slice)] // starts_with(label) guarantees label.len() is a char boundary
fn extract_summary_field(output: &str, label: &str) -> Option<String> {
output
.lines()