doc: render math with HTML to make it selectable (fix #8453) (#9361) #106
| Job | Run time |
|---|---|
| 32m 9s | |
| 35m 53s | |
| 1h 0m 22s | |
| 46m 34s | |
| 49m 56s | |
| 1h 2m 31s | |
| 57m 6s | |
| 37m 28s | |
| 1h 22m 48s | |
| 1h 38m 0s | |
| 1h 41m 12s | |
| 1h 28m 55s | |
| 1h 48m 23s | |
| 1h 34m 37s | |
| 1h 44m 2s | |
| 1h 20m 19s | |
| 29m 38s | |
| 1h 13m 31s | |
| 2h 0m 52s | |
| 1h 12m 44s | |
| 15m 23s | |
| 15m 22s | |
| 15m 35s | |
| 15m 22s | |
| 15m 31s | |
| 15m 21s | |
| 15m 19s | |
| 15m 21s | |
| 15m 22s | |
| 7s | |
| 1s | |
| 1d 2h 15m 44s |