[Diagnostic formatting] Add a category footnote printer #52
Job | Run time |
---|---|
40m 14s | |
3m 1s | |
24m 33s | |
3m 42s | |
14m 16s | |
3m 53s | |
12m 20s | |
15m 3s | |
3m 51s | |
15m 13s | |
3m 54s | |
4m 42s | |
4m 40s | |
3m 4s | |
5s | |
4m 58s | |
9s | |
36s | |
7s | |
30s | |
3s | |
5s | |
2h 38m 59s |
Job | Run time |
---|---|
40m 14s | |
3m 1s | |
24m 33s | |
3m 42s | |
14m 16s | |
3m 53s | |
12m 20s | |
15m 3s | |
3m 51s | |
15m 13s | |
3m 54s | |
4m 42s | |
4m 40s | |
3m 4s | |
5s | |
4m 58s | |
9s | |
36s | |
7s | |
30s | |
3s | |
5s | |
2h 38m 59s |