Skip to content

Report correct build status in case of failure#128

Merged
lburgazzoli merged 1 commit intomasterfrom report-correct-statusSep 25, 2018

Commits

Commits on Sep 25, 2018