Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
361396120 | master | Remove useless artifacts on CI fail | push | Petr Morávek | github | pending completion set done | |
350151770 | master | Remove useless artifacts on CI fail | push | Petr Morávek | github | pending completion set done | |
349259602 | master | Update CI badge | push | Petr Morávek | github | pending completion set done | |
348446192 | master | Update CI badge | push | Petr Morávek | github | pending completion set done | |
348441307 | master | Fix coverage reporting | push | Petr Morávek | github | pending completion set done |