Skip to content

[ci] Allow CI failures on tip.#72

Merged
elithrar merged 1 commit intomasterfrom elithrar/ci-allow-tip-failuresApr 10, 2016

Commits

Commits on Apr 10, 2016