1
98%
master: 98%

Ran 20 Dec 2020 04:33PM UTC

Files 23

Run time 2s

Badge

Committed 20 Dec 2020 04:33PM UTC coverage: 97.498% (+0.001%) from 97.497%

Build Type

push

github

Committed by Andreas Lind

Commit Message

<Set> to contain <any>: Fix equal semantics

Run Details

1950 of 2066 branches covered (94.39%)

3546 of 3637 relevant lines covered (97.5%)

1975.35 hits per line