Support for disable PHP additional extensions via PHP_DISABLE_EXTENSIONS environment variable
#41
| Job | Run time |
|---|---|
| 16m 28s | |
| 14m 6s | |
| 2h 29m 59s | |
| 1h 54m 3s | |
| 1h 49m 52s | |
| 6h 44m 28s |