emillon / dune
41%
master: %

LAST BUILD BRANCH: public-name-empty
DEFAULT BRANCH: master
Repo Added
Token 4bCIFk1zFdKLdhjrgb2L8zAw8wCIAFT9B regen
Build 149 Last
Files 406
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

LAST BUILD ON BRANCH doc-commands
branch: doc-commands
CHANGE BRANCH
x
Sync Branches

482

push

github

Etienne Millon 
A coq toplevel

14051 of 34589 relevant lines covered (40.62%)

27118.3 hits per line

Relevant lines Covered
34589 RELEVANT LINES 14051 COVERED LINES
27118.3 HITS PER LINE
Source Files on doc-commands

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
482 doc-commands A coq toplevel push Etienne Millon github pending completion  
469 doc-commands A coq toplevel push Etienne Millon github pending completion  
463 doc-commands doc: use a fixed style of command docs push Etienne Millon github
40.76
See All Builds (95)

Badge your Repo: dune

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
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

Refresh