Auto merge of #118538 - RalfJung:size-of-val-comments, r=WaffleLapkin #39360
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 58m 57s | |
| 0s | |
| 51m 56s | |
| 37m 13s | |
| 55m 55s | |
| 22m 58s | |
| 50m 58s | |
| 41m 4s | |
| 42m 56s | |
| 36m 27s | |
| 48m 57s | |
| 39m 37s | |
| 41m 19s | |
| 42m 33s | |
| 44m 24s | |
| 39m 33s | |
| 0s | |
| 45m 50s | |
| 0s | |
| 36m 30s | |
| 33m 22s | |
| 38m 33s | |
| 45m 43s | |
| 1h 42m 21s | |
| 1h 54m 23s | |
| 1h 3m 28s | |
| 40m 8s | |
| 1h 15m 12s | |
| 1h 19m 3s | |
| 19m 39s | |
| 31m 41s | |
| 1h 26m 25s | |
| 1h 23m 52s | |
| 49m 32s | |
| 38m 58s | |
| 50m 55s | |
| 1h 5m 26s | |
| 1h 12m 32s | |
| 1h 11m 28s | |
| 1h 18m 58s | |
| 39m 56s | |
| 1h 54m 5s | |
| 1h 16m 19s | |
| 1h 32m 19s | |
| 1h 12m 17s | |
| 39m 38s | |
| 39m 50s | |
| 1h 30m 14s | |
| 1h 31m 40s | |
| 1h 21m 43s | |
| 1h 41m 49s | |
| 1h 39m 56s | |
| 1h 43m 35s | |
| 1h 0m 57s | |
| 1h 11m 7s | |
| 1h 6m 8s | |
| 1h 7m 42s | |
| 1h 4m 17s | |
| 1s | |
| 0s | |
| 2d 7h 52m 19s |