13
100%
master: 100%

Ran 31 Aug 2021 06:19AM UTC

Files 14

Run time 454min

Badge

Committed 30 Aug 2021 06:58PM UTC coverage: 99.927%. First build

Build Type

push

github

Committed by Luigi Pinca

Commit Message

[minor] Skip unnecessary operations if the socket is already closed

Run Details

948 of 954 branches covered (99.37%)

1376 of 1377 relevant lines covered (99.93%)

1225.87 hits per line