1
85%
master: 85%

Ran 14 Jan 2023 04:35AM UTC

Files 146

Run time 5s

Badge

Committed 14 Jan 2023 04:35AM UTC coverage: 84.152% (-0.01%) from 84.164%

Build Type

push

github-actions

Committed by GitHub

Commit Message

Merge pull request #2578 from PrincetonUniversity/devel

Run Details

11695 of 14657 branches covered (79.79%)

Branch coverage included in aggregate %.

29368 of 34139 relevant lines covered (86.02%)

0.86 hits per line