Merge pull request #746 from lz4/circleci
authorYann Collet <Cyan4973@users.noreply.github.com>
Wed, 3 Jul 2019 23:16:52 +0000 (16:16 -0700)
committerGitHub <noreply@github.com>
Wed, 3 Jul 2019 23:16:52 +0000 (16:16 -0700)
CircleCI : reduced test duration


Trivial merge