NOT READY: format_tools table with limited width
#2068
| Job | Run time |
|---|---|
| 2s | |
| 12m 18s | |
| 11m 58s | |
| 12m 17s | |
| 36m 35s |
format_tools table with limited width
#2068
| Job | Run time |
|---|---|
| 2s | |
| 12m 18s | |
| 11m 58s | |
| 12m 17s | |
| 36m 35s |