use title attribute instead of id attribute when rendering anchors as… #945
| Job | Run time |
|---|---|
| 3m 23s | |
| 2m 32s | |
| 2m 17s | |
| 2m 30s | |
| 2m 14s | |
| 6m 59s | |
| 7m 17s | |
| 8m 6s | |
| 3m 30s | |
| 45s | |
| 48s | |
| 40m 21s |
| Job | Run time |
|---|---|
| 3m 23s | |
| 2m 32s | |
| 2m 17s | |
| 2m 30s | |
| 2m 14s | |
| 6m 59s | |
| 7m 17s | |
| 8m 6s | |
| 3m 30s | |
| 45s | |
| 48s | |
| 40m 21s |