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 /.editorconfig | |
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 '.editorconfig')
0 files changed, 0 insertions, 0 deletions