1
94%
master: 96%

Ran 13 Aug 2020 07:47PM UTC

Files 19

Run time 6s

Badge

Committed 13 Aug 2020 07:39PM UTC coverage: 95.166% (-0.8%) from 96.0%

Build Type

push

travis-ci

Committed by

Commit Message

chore(dep) Fixes for Coq 8.12 + license check fixes

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>

Run Details

318 of 358 branches covered (88.83%)

Branch coverage included in aggregate %.

883 of 904 relevant lines covered (97.68%)

763.22 hits per line