Open
Description
Sometimes different jobs cover different part of code (for example, in #244). To get real coverage results, we need to merge results of different pipelines. coveralls.io documentation says it is possible to merge jobs result, but simply adding a flag doesn't work. (There are many GitHub tickets in other repos saying it doesn't work as expected, like this.)