[12:35] -GitHub[m]12:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2379](https://github.com/MirServer/mir/pull/2379): [ci] add coverage reporting