7271401396
65%

Ran 20 Dec 2023 05:34AM UTC

Jobs 1

Files 473

Run time 58s

Badge

Committed 20 Dec 2023 05:27AM UTC coverage: 65.147%. Remained the same

Build Type

push

github

Committed by

Commit Message

correct lemmas limit in the multi-check mode (#484)

Run Details

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

79234 of 121624 relevant lines covered (65.15%)

1511487.91 hits per line

ID	Job ID	Ran	Files	Coverage
1	7271401396.1	20 Dec 2023 05:34AM UTC	1624	65.87	GitHub Action Run