6358552436
99%

Ran 30 Sep 2023 12:38AM UTC

Jobs 2

Files 166

Run time 6s

Badge

Committed 30 Sep 2023 12:09AM UTC coverage: 98.865%. Remained the same

Build Type

push

github

Committed by

Commit Message

Clarifies more pre/post conditions of DynamicTree

Run Details

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

11589 of 11722 relevant lines covered (98.87%)

14974322.55 hits per line

ID	Job ID	Ran	Files	Coverage
1	REAL_TYPE=float - 6358552436.1	30 Sep 2023 12:38AM UTC	0	98.87	GitHub Action Run
2	REAL_TYPE=double - 6358552436.2	30 Sep 2023 12:38AM UTC	0	98.82	GitHub Action Run

Detailed source file information is not available for this build.