2
100%
master: 100%

Ran 28 Nov 2020 07:50PM UTC

Files 111

Run time 8s

Badge

Committed 28 Nov 2020 07:49PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by Ruben Verborgh

Commit Message

chore: Speed up compilation via incremental builds.

Run Details

634 of 634 branches covered (100.0%)

Branch coverage included in aggregate %.

1925 of 1925 relevant lines covered (100.0%)

17.13 hits per line