src: add setTitle() as alternative to direct assignment #10653
| Job | Run time |
|---|---|
| 1m 11s | |
| 16s | |
| 26m 34s | |
| 29m 22s | |
| 37m 4s | |
| 28m 35s | |
| 28m 55s | |
| 29m 18s | |
| 28m 53s | |
| 28m 57s | |
| 29m 50s | |
| 35m 14s | |
| 5h 4m 9s |
| Job | Run time |
|---|---|
| 1m 11s | |
| 16s | |
| 26m 34s | |
| 29m 22s | |
| 37m 4s | |
| 28m 35s | |
| 28m 55s | |
| 29m 18s | |
| 28m 53s | |
| 28m 57s | |
| 29m 50s | |
| 35m 14s | |
| 5h 4m 9s |