12973844670
84%

Ran 26 Jan 2025 10:37AM UTC

Jobs 1

Files 26

Run time 1min

Badge

Committed 26 Jan 2025 10:34AM UTC coverage: 83.032% (-1.0%) from 84.046%

Build Type

push

github

Committed by

Commit Message

Add method `empty()` to the API of Population (#268)

And make existing `__bool__()` method use it.

Run Details

5 of 5 new or added lines in 2 files covered. (100.0%)

25 existing lines in 2 files now uncovered.

2021 of 2434 relevant lines covered (83.03%)

0.83 hits per line

Lines	Coverage	∆	File
4	64.73	-1.93%	grammarinator/runtime/rule.py
21	62.77	-7.45%	grammarinator/tool/generator.py

ID	Job ID	Ran	Files	Coverage
1	12973844670.1	26 Jan 2025 10:37AM UTC	26	83.03	GitHub Action Run