Doc: make html display the tag name instead of the commit hash.
#518
| Job | Run time |
|---|---|
| 1m 3s | |
| 17m 39s | |
| 56s | |
| 3m 4s | |
| 4m 19s | |
| 2m 8s | |
| 14m 56s | |
| 1m 44s | |
| 21m 46s | |
| 15m 45s | |
| 1h 23m 20s |