Fix note about undefined behavior (#2632) #7060
| Job | Run time |
|---|---|
| 38s | |
| 28s | |
| 53s | |
| 25s | |
| 59s | |
| 3s | |
| 51s | |
| 34s | |
| 38s | |
| 4m 28s | |
| 6s | |
| 7m 56s | |
| 8m 37s | |
| 8m 7s | |
| 9m 45s | |
| 7m 55s | |
| 7m 52s | |
| 8m 53s | |
| 6m 46s | |
| 8m 26s | |
| 10m 8s | |
| 7m 50s | |
| 9m 56s | |
| 9m 26s | |
| 7m 53s | |
| 8m 25s | |
| 7m 59s | |
| 8m 50s | |
| 9m 33s | |
| 8m 45s | |
| 7m 59s | |
| 9m 29s | |
| 9m 13s | |
| 3h 19m 46s |