6364401860
97%
main: 97%

Ran 30 Sep 2023 05:20PM UTC

Jobs 1

Files 302

Run time 7s

Badge

Committed 30 Sep 2023 05:10PM UTC coverage: 97.3% (-0.001%) from 97.301%

Build Type

push

github

Committed by

Commit Message

Change `OnlyContain` to succeed on empty collections

Run Details

3581 of 3800 branches covered (0.0%)

Branch coverage included in aggregate %.

1 of 1 new or added line in 1 file covered. (100.0%)

11624 of 11827 relevant lines covered (98.28%)

19715.92 hits per line

ID	Job ID	Ran	Files	Coverage
1	6364401860.1	30 Sep 2023 05:20PM UTC	302	97.3	GitHub Action Run