[CI] fix the `! isCI` check in src/ci/run.sh#66974

Merged

bors merged 1 commit intorust-lang:masterfrom

cuviper:not-isCI

Dec 6, 2019

Commits on Dec 2, 2019

[CI] fix the `! isCI` check in src/ci/run.sh
cuviper
committed