7230351501
65%

Ran 16 Dec 2023 06:39AM UTC

Jobs 1

Files 473

Run time 1min

Badge

Committed 16 Dec 2023 06:32AM UTC coverage: 65.147% (+0.01%) from 65.136%

Build Type

push

github

Committed by

Commit Message

delete binary clauses that are true at the base level (#483)

Run Details

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

79234 of 121624 relevant lines covered (65.15%)

1511562.94 hits per line

ID	Job ID	Ran	Files	Coverage
1	7230351501.1	16 Dec 2023 06:38AM UTC	1624	65.87	GitHub Action Run