fix crash when hover header cannot be formatted #1071
| Job | Run time |
|---|---|
| 26s | |
| 5m 27s | |
| 9m 2s | |
| 2m 4s | |
| 8m 32s | |
| 4m 26s | |
| 3m 26s | |
| 1m 42s | |
| 5m 45s | |
| 7m 15s | |
| 9m 4s | |
| 1m 13s | |
| 6m 56s | |
| 7m 12s | |
| 3m 1s | |
| 7m 9s | |
| 4m 8s | |
| 4m 38s | |
| 4m 49s | |
| 1h 36m 15s |
| Job | Run time |
|---|---|
| 26s | |
| 5m 27s | |
| 9m 2s | |
| 2m 4s | |
| 8m 32s | |
| 4m 26s | |
| 3m 26s | |
| 1m 42s | |
| 5m 45s | |
| 7m 15s | |
| 9m 4s | |
| 1m 13s | |
| 6m 56s | |
| 7m 12s | |
| 3m 1s | |
| 7m 9s | |
| 4m 8s | |
| 4m 38s | |
| 4m 49s | |
| 1h 36m 15s |