]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #590 from iburinoc/ci
authorYann Collet <Cyan4973@users.noreply.github.com>
Tue, 7 Mar 2017 07:29:26 +0000 (23:29 -0800)
committerGitHub <noreply@github.com>
Tue, 7 Mar 2017 07:29:26 +0000 (23:29 -0800)
Set up "short" tests on CircleCI


Trivial merge