diff options
| author | Fabien Villepinte <fabien.villepinte@gmail.com> | 2019-10-21 21:48:33 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-10-22 11:12:39 +0200 |
| commit | 6422c956337bed1e22403da4dd79c713ecfe6bc6 (patch) | |
| tree | 65412a57e346cfc1a282553238acb3233663171d /ext/opcache/zend_file_cache.h | |
| parent | c9df44cab424034e4858d5fb2ead0f8bfbc87561 (diff) | |
| download | php-git-6422c956337bed1e22403da4dd79c713ecfe6bc6.tar.gz | |
Add a run with opcache to the coverage job
Some tests are not run when OPcache is not available.
This should make the results more accurate.
Diffstat (limited to 'ext/opcache/zend_file_cache.h')
0 files changed, 0 insertions, 0 deletions