make format of fixit's terminal output configurable #1309
| Job | Run time |
|---|---|
| 1m 21s | |
| 1m 12s | |
| 2m 19s | |
| 1m 5s | |
| 1m 33s | |
| 3m 0s | |
| 1m 1s | |
| 1m 21s | |
| 3m 2s | |
| 1m 6s | |
| 1m 22s | |
| 3m 22s | |
| 58s | |
| 1m 28s | |
| 2m 57s | |
| 27m 7s |
| Job | Run time |
|---|---|
| 1m 21s | |
| 1m 12s | |
| 2m 19s | |
| 1m 5s | |
| 1m 33s | |
| 3m 0s | |
| 1m 1s | |
| 1m 21s | |
| 3m 2s | |
| 1m 6s | |
| 1m 22s | |
| 3m 22s | |
| 58s | |
| 1m 28s | |
| 2m 57s | |
| 27m 7s |