CI: the printing of skipped tests is broken
I see this in the output on Azure:

```
========================== Starting Command Output ===========================
[command]"C:\Program Files\Git\bin\bash.exe" --noprofile --norc /d/a/_temp/4c06be83-acbe-437b-9d19-6bc54dadfbe7.sh
SKIPPED TESTS:

##[section]Finishing: Print skipped tests
```

while there definitely should be some skipped tests. 
Also on Travis it is not working.