HTML API: Lower-case HTML tag names in get_qualified_tag_name().
#29654
| Job | Run time |
|---|---|
| 4s | |
| 12m 44s | |
| 13m 20s | |
| 12m 22s | |
| 13m 0s | |
| 12m 45s | |
| 13m 4s | |
| 12m 38s | |
| 12m 13s | |
| -1s | |
| 15s | |
| 19s | |
| 12s | |
| 10s | |
| 0s | |
| 1h 43m 5s |