Skip to content

Fail fast when results-dir is incorrect#772

Merged
jan-goral merged 4 commits intomasterfrom 753-fail-fast-incorrect-results-dirMay 7, 2020