Use MaybeNone
(alias to Any
) when applicable (#12855)
#2390
Job | Run time |
---|---|
13s | |
13s | |
16s | |
15s | |
18s | |
1m 15s |
MaybeNone
(alias to Any
) when applicable (#12855)
#2390
Job | Run time |
---|---|
13s | |
13s | |
16s | |
15s | |
18s | |
1m 15s |