panglesd / odoc
73%
master: 56%

LAST BUILD BRANCH: include-libs-from-packages
DEFAULT BRANCH: master
Repo Added
Token Y9fUJUiuPbbwv5ip3hqlNG4AVBnBq382N regen
Build 779 Last
Files 90
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 toc-tree-2
branch: toc-tree-2
CHANGE BRANCH
x
Sync Branches

coverage: 73.04% (+0.05%) from 72.986%
1020

push

github

panglesd 
Formatting

2 of 2 new or added lines in 1 file covered. (100.0%)

169 existing lines in 8 files now uncovered.

10162 of 13913 relevant lines covered (73.04%)

2999.27 hits per line

Relevant lines Covered
13913 RELEVANT LINES 10162 COVERED LINES
2999.27 HITS PER LINE
Source Files on toc-tree-2
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1020 toc-tree-2 Formatting push panglesd github
73.04
982 toc-tree-2 Sidebar: better handling of missing page index We use the id name (corresponding to the directory name) for the page title. There is one case where we don't have access to an id: ``` $ odoc compile --output_dir _odoc --parent-id "" file.mld $ od... push panglesd github
72.99
981 toc-tree-2 Sidebar: better handling of missing page index We use the id name (corresponding to the directory name) for the page title. There is one case where we don't have access to an id: ``` $ odoc compile --output_dir _odoc --parent-id "" file.mld $ od... push panglesd github
72.99
See All Builds (777)

Badge your Repo: odoc

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