diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-07-22 11:18:38 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-07-22 11:18:38 +0200 |
| commit | 5e4dbce5864811122110b49298e8b3eeb8b9d4b0 (patch) | |
| tree | 77f71707607e81cad466fc3c98f601473e07d598 /main/php_streams.h | |
| parent | bdf24f8d6d9d495ece354d6fd2dd6ed169198a2e (diff) | |
| download | php-git-5e4dbce5864811122110b49298e8b3eeb8b9d4b0.tar.gz | |
Reduce number of workers in test
4 seems to be enough to reliably reproduce the issue. Let's see
if this works better in CI.
Diffstat (limited to 'main/php_streams.h')
0 files changed, 0 insertions, 0 deletions