1
92%
master: 92%

Ran 02 Nov 2020 11:14PM UTC

Files 27

Run time 8s

Badge

Committed 02 Nov 2020 11:14PM UTC coverage: 91.767% (+0.1%) from 91.638%

Build Type

push

github

Committed by GitHub

Commit Message

fix OR handling in subquery decorrelation

Run Details

4208 of 4826 branches covered (87.19%)

Branch coverage included in aggregate %.

10237 of 10915 relevant lines covered (93.79%)

3085428.41 hits per line