Bump mlocati/php-extension-installer from 36d23ed to 72f6495
#488
| Job | Run time |
|---|---|
| 12s | |
| 6s | |
| 5s | |
| 4s | |
| 8s | |
| 35s |
36d23ed to 72f6495
#488
| Job | Run time |
|---|---|
| 12s | |
| 6s | |
| 5s | |
| 4s | |
| 8s | |
| 35s |