Accommodate minute-level filters in Insta (#1219)

I don't know why `compile_editable` took over a minute in this case, but
seems like it did? Hard to test this fix.


2108933895
This commit is contained in:
Charlie Marsh 2024-02-01 00:43:09 -08:00 committed by GitHub
parent 631ab51d6e
commit 0757862a7a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -17,7 +17,7 @@ pub static EXCLUDE_NEWER: &str = "2023-11-18T12:00:00Z";
pub const INSTA_FILTERS: &[(&str, &str)] = &[
(r"--cache-dir [^\s]+", "--cache-dir [CACHE_DIR]"),
// Operation times
(r"(\d+\.)?\d+(ms|s)", "[TIME]"),
(r"(\d+m )?(\d+\.)?\d+(ms|s)", "[TIME]"),
// Puffin versions
(r"v\d+\.\d+\.\d+", "v[VERSION]"),
// File sizes