diff options
author | 2016-07-28 09:51:07 +0000 | |
---|---|---|
committer | 2016-07-28 09:51:07 +0000 | |
commit | c40bdf5eca9230d61b7d7749d5bfbc09c8a01262 (patch) | |
tree | 54fb01f56c4d193bbfa5fc420e959967a0126638 /ci/check_os.sh | |
parent | 932e23880ad613098ba518dc1fbf84e65db434a9 (diff) | |
parent | f5687e356aafd9eb56a7f50e5e848f61bc712729 (diff) |
Merge "Bugfix: dont stop execution when a test case is not blocking"
Diffstat (limited to 'ci/check_os.sh')
0 files changed, 0 insertions, 0 deletions