1
84%
master: 84%

Ran 13 Nov 2024 03:20AM UTC

Files 154

Run time 4s

Badge

Committed 12 Nov 2024 03:50AM UTC coverage: 83.721% (-1.2%) from 84.935%

Build Type

push

github

Committed by

Commit Message

Merge pull request #3071 from PrincetonUniversity/devel

Devel

Run Details

9406 of 12466 branches covered (75.45%)

Branch coverage included in aggregate %.

32556 of 37655 relevant lines covered (86.46%)

0.86 hits per line