1
84%
master: 84%

Ran 14 Nov 2024 03:44AM UTC

Files 154

Run time 5s

Badge

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

Build Type

push

github

Committed by

Commit Message

Merge pull request #3071 from PrincetonUniversity/devel

Devel

Run Details

9405 of 12466 branches covered (75.45%)

Branch coverage included in aggregate %.

32554 of 37655 relevant lines covered (86.45%)

0.86 hits per line