squareteam / angular-coq / 45 / 1
97%
master: 97%

DEFAULT BRANCH: master
Ran
Files 5
Run time 3s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 96.61% (+0.1%) from 96.491%
COVERALLS_REPO_TOKEN=RsbFJcSvBOhFbcxIHm3RIW99PD0wCqpxZ

push

travis-ci

wittydeveloper 
style(Coq): remove useless comments

57 of 59 relevant lines covered (96.61%)

7.8 hits per line

Source Files on job 45.1 (COVERALLS_REPO_TOKEN=RsbFJcSvBOhFbcxIHm3RIW99PD0wCqpxZ)