1
84%
master: 84%

Ran 20 Dec 2024 03:25AM UTC

Files 154

Run time 7s

Badge

Committed 05 Dec 2024 10:24PM UTC coverage: 83.938% (+0.2%) from 83.721%

Build Type

push

github

Committed by

Commit Message

Merge pull request #3129 from PrincetonUniversity/devel

Devel

Run Details

9484 of 12522 branches covered (75.74%)

Branch coverage included in aggregate %.

32873 of 37940 relevant lines covered (86.64%)

0.87 hits per line