diff options
| author | Jeremy Benoist <j0k3r@users.noreply.github.com> | 2016-08-24 10:49:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-24 10:49:43 +0200 |
| commit | ddb49dd9311f5874c8681a149eb5ef1aedf4ce0f (patch) | |
| tree | 4a5a4e4e5b2948135f47f579671fd3ee882ba729 /build.xml | |
| parent | a5684f6a2372d144873e3ae05b4dc46de59c380a (diff) | |
| download | wallabag-ddb49dd9311f5874c8681a149eb5ef1aedf4ce0f.tar.gz wallabag-ddb49dd9311f5874c8681a149eb5ef1aedf4ce0f.tar.zst wallabag-ddb49dd9311f5874c8681a149eb5ef1aedf4ce0f.zip | |
Allow failure for PHP 7.1
Got tired of `EE/home/travis/build.sh: line 45: 4445 Segmentation fault (core dumped) phpunit -v` using PHP 7.1.0beta3
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions