Convert average_run_time to an integer. (#572)
#352
| Job | Run time |
|---|---|
| 20s | |
| 20s |
average_run_time to an integer. (#572)
#352
| Job | Run time |
|---|---|
| 20s | |
| 20s |