Fix the CI (#7633)

This commit is contained in:
Amir Omidi
2019-10-10 11:52:02 -07:00
committed by GitHub
parent 2aa7a145d4
commit b58927fea1