Backport relevant changes of https://github.com/php/php-src/pull/18719 #29181
| Job | Run time |
|---|---|
| 11m 27s | |
| 22m 53s | |
| 36m 40s | |
| 14m 39s | |
| 16m 25s | |
| 22m 36s | |
| 32m 38s | |
| 13m 8s | |
| 2h 50m 26s |
| Job | Run time |
|---|---|
| 11m 27s | |
| 22m 53s | |
| 36m 40s | |
| 14m 39s | |
| 16m 25s | |
| 22m 36s | |
| 32m 38s | |
| 13m 8s | |
| 2h 50m 26s |