1
85%
master: 85%

Ran 06 Aug 2022 03:42AM UTC

Files 146

Run time 6s

Badge

Committed 06 Aug 2022 03:42AM UTC coverage: 84.446% (-0.001%) from 84.447%

Build Type

push

github-actions

Committed by GitHub

Commit Message

Merge pull request #2462 from PrincetonUniversity/devel

Run Details

12402 of 15339 branches covered (80.85%)

Branch coverage included in aggregate %.

29078 of 33781 relevant lines covered (86.08%)

0.86 hits per line