6622016916
92%
master: 93%

Ran 24 Oct 2023 03:35AM UTC

Jobs 1

Files 22

Run time 1s

Badge

Committed 24 Oct 2023 03:35AM UTC coverage: 92.189%. First build

Build Type

github

Committed by Anton Telyshev

Commit Message

NotEmpty: do not handle n > 1 and n >= 1 cases

Run Details

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

1074 of 1165 relevant lines covered (92.19%)

1.03 hits per line

ID	Job ID	Ran	Files	Coverage
1	6622016916.1	24 Oct 2023 03:35AM UTC	0	92.19	GitHub Action Run

Detailed source file information is not available for this build.