Minor cleanup to use is_some_and(...)
instead of map_or(false, ...)
#1831
Job | Run time |
---|---|
2m 58s | |
21s | |
2m 59s | |
6m 18s |
is_some_and(...)
instead of map_or(false, ...)
#1831
Job | Run time |
---|---|
2m 58s | |
21s | |
2m 59s | |
6m 18s |