Convert average_run_time to an integer. (#103)
#211
| Job | Run time |
|---|---|
| 38s | |
| 38s |
average_run_time to an integer. (#103)
#211
| Job | Run time |
|---|---|
| 38s | |
| 38s |