12123894747
90%
main: 90%

Ran 02 Dec 2024 04:42PM UTC

Jobs 1

Files 13

Run time 1min

Badge

Committed 02 Dec 2024 04:41PM UTC coverage: 88.748% (+0.02%) from 88.73%

Build Type

push

github

Committed by

Commit Message

boundedint: implement display

Run Details

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

1680 of 1893 relevant lines covered (88.75%)

744170.6 hits per line

ID	Job ID	Ran	Files	Coverage
1	12123894747.1	02 Dec 2024 04:42PM UTC	13	88.75	GitHub Action Run