1
100%
master: 100%

Ran 28 Dec 2020 10:56PM UTC

Files 130

Run time 9s

Badge

Committed 28 Dec 2020 10:56PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by Ruben Verborgh

Commit Message

chore: Remove unneeded port default.

Run Details

741 of 741 branches covered (100.0%)

Branch coverage included in aggregate %.

2221 of 2221 relevant lines covered (100.0%)

18.82 hits per line