Update CI status badge.#406

Merged

sergey-shandar merged 4 commits intomasterfrom

sergey/status-badge

Nov 7, 2018

Commits on Nov 5, 2018

Update status badge.
sergey-shandar
committed

Commits on Nov 6, 2018

Merge branch 'master' into sergey/status-badge
sergey-shandar
authored

Commits on Nov 7, 2018