ci: Require miri step

This commit is contained in:
Lukas Wirth 2025-03-25 07:06:12 +01:00
parent d3aeddfb77
commit 7a1e9c4b0c
4 changed files with 10 additions and 10 deletions

View file

@ -254,7 +254,7 @@ impl TidyDocs {
d.file_name()
.unwrap_or_default()
.to_str()
.map(|f_n| file_names.iter().any(|name| *name == f_n))
.map(|f_n| file_names.contains(&f_n))
.unwrap_or(false)
}
}