8
99%
master: 99%

Ran 01 Apr 2021 02:58PM UTC

Files 49

Run time 32s

Badge

Committed 01 Apr 2021 02:57PM UTC coverage: 97.193%. First build

Build Type

push

github

Committed by Jason Madden

Commit Message

Make Declaration.__add__ try harder to produce consistent resolution orders.

Run Details

1687 of 1809 branches covered (93.26%)

Branch coverage included in aggregate %.

11608 of 11870 relevant lines covered (97.79%)

0.98 hits per line