diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-07-06 23:51:26 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-07-06 23:51:26 +0200 |
| commit | 8e948204f971c5bf6b8eea4dfb1c8ba7a80b30a2 (patch) | |
| tree | 91905443013e8f1177453cd716c473ca1c93708d /CONTRIBUTING.md | |
| parent | 0707caf16339b7eaa39649c664ee5ad20c6d2305 (diff) | |
| download | php-git-8e948204f971c5bf6b8eea4dfb1c8ba7a80b30a2.tar.gz | |
Disable jit on msan job
JIT code is not instrumented and as such incompatible with msan.
I'm not sure why this only started failing in the last build, it
shouldn't have worked before either...
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions