3
83%
mainline: 83%

Ran 25 Jan 2022 11:01PM UTC

Files 74

Run time 13s

Badge

Committed 25 Jan 2022 11:00PM UTC coverage: 83.104% (+0.8%) from 82.305%

Build Type

push

github

Committed by GitHub

Commit Message

SummaryConstraint: Table shape constraints (#398)

Run Details

1536 of 1930 branches covered (79.59%)

Branch coverage included in aggregate %.

4386 of 5196 relevant lines covered (84.41%)

0.84 hits per line