568
89%
main: 93%

DEFAULT BRANCH: main

LAST BUILD BRANCH: declassification

Ran 09 May 2020 02:15PM UTC

Jobs 1

Files 80

Run time 7s

Badge

Committed 9 May 2020 - 10:47 coverage: 89.163% (-0.3%) from 89.453%

Build # 568

Build Type

push

travis-ci

Committed by

Commit Message

Rename dual() -> dualize()

Run Details

4690 of 5260 relevant lines covered (89.16%)

609423.15 hits per line

ID	Job ID	Ran	Files	Coverage
1	568.1 (CONFIG=Debug)	09 May 2020 02:15PM UTC	80	89.16	Travis Job 568.1