7299401338
95%
master: 96%

Ran 22 Dec 2023 11:33AM UTC

Jobs 4

Files 15

Run time 2s

Badge

Committed 22 Dec 2023 11:32AM UTC coverage: 95.338% (-0.005%) from 95.343%

Build Type

push

github

Committed by

Commit Message

improved pruning of None-conditions

Run Details

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

1595 of 1673 relevant lines covered (95.34%)

7.08 hits per line

ID	Job ID	Ran	Files	Coverage
1	7299401338.1	22 Dec 2023 11:33AM UTC	30	94.0	GitHub Action Run
2	7299401338.2	22 Dec 2023 11:33AM UTC	30	94.0	GitHub Action Run
3	7299401338.3	22 Dec 2023 11:33AM UTC	30	94.0	GitHub Action Run
4	7299401338.4	22 Dec 2023 11:33AM UTC	30	94.0	GitHub Action Run