Adds validate_input() -- previously named as "picks"
#4040
| Job | Run time |
|---|---|
| 14m 19s | |
| 1s | |
| 1s | |
| 14m 21s |
validate_input() -- previously named as "picks"
#4040
| Job | Run time |
|---|---|
| 14m 19s | |
| 1s | |
| 1s | |
| 14m 21s |