Merge pull request #9659 from ynezz/upstream/ci-improvements
authorchamptar <champetier.etienne@gmail.com>
Wed, 14 Aug 2019 06:10:24 +0000 (23:10 -0700)
committerGitHub <noreply@github.com>
Wed, 14 Aug 2019 06:10:24 +0000 (23:10 -0700)
commit49703ff7d4b0b9292511a74e0251f7e44e93d4b4
tree40ca825cb4b1533763f2fbce00783732d02f40ed
parent91218decea56f569838d217457da442c746d430d
parenta6d5b5d1c1c6ea922afcfff1efac7fb55c9664c4
Merge pull request #9659 from ynezz/upstream/ci-improvements

CI fixes and improvement