add time_limit parameter to map() and use for map_and_time #211
#708
| Job | Run time |
|---|---|
| 26s | |
| 26s |
time_limit parameter to map() and use for map_and_time #211
#708
| Job | Run time |
|---|---|
| 26s | |
| 26s |