small refactor with then_some
#4667
Job | Run time |
---|---|
1m 39s | |
1m 53s | |
1m 32s | |
2m 39s | |
24s | |
1m 40s | |
1m 41s | |
57s | |
2m 13s | |
48s | |
1m 0s | |
3m 48s | |
4m 55s | |
53s | |
4m 45s | |
1m 13s | |
6m 34s | |
31s | |
4m 13s | |
1m 5s | |
13s | |
4m 2s | |
5m 22s | |
2m 14s | |
2m 32s | |
58m 46s |