Add minSize helper (#103)
#390
| Job | Run time |
|---|---|
| 20m 46s | |
| 20m 19s | |
| 20m 59s | |
| 20m 53s | |
| 20m 47s | |
| 21m 18s | |
| 24m 41s | |
| 25m 19s | |
| 25m 49s | |
| 34m 40s | |
| 34m 10s | |
| 43m 44s | |
| 19m 15s | |
| 15m 31s | |
| 15m 59s | |
| 44m 39s | |
| 43m 47s | |
| 45m 8s | |
| 8h 17m 44s |