PLTools / GT
75%

DEFAULT BRANCH: master
Repo Added
Token AU68ekgoAvzutPmiAQhxT6UtOZwIhHoWp regen
Build 23 Last
Files 49
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 master
branch: master
CHANGE BRANCH
x
Sync Branches

coverage: 74.612%. Remained the same
60

push

github

Kakadu 
[chore] Make mdx a build dependency

Trying to understand why it is not being installed after
`opam install GT/GT.opam --deps-only`...

Signed-off-by: Kakadu <Kakadu@pm.me>

2113 of 2832 relevant lines covered (74.61%)

117.5 hits per line

Relevant lines Covered
2832 RELEVANT LINES 2113 COVERED LINES
117.5 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
60 master [chore] Make mdx a build dependency Trying to understand why it is not being installed after `opam install GT/GT.opam --deps-only`... Signed-off-by: Kakadu <Kakadu@pm.me> push Kakadu github
74.61
59 master Make mdx a mandatory library Signed-off-by: Kakadu <Kakadu@pm.me> push Kakadu github
74.61
58 master Add support of Complex.t (fix #28) Signed-off-by: Kakadu <Kakadu@pm.me> push Kakadu github
74.61
57 master Improve coverage Signed-off-by: Kakadu <Kakadu@pm.me> push Kakadu github
74.6
56 master [tests] Add eta expansion for generated code to make bisect happy Without the change we got a compilation error Signed-off-by: Kakadu <Kakadu@pm.me> push Kakadu github
75.62
55 master chore: ppxlib <= 0.34 is allowed Signed-off-by: Kakadu <Kakadu@pm.me> push Kakadu github
75.59
54 master chore: Add MDX in README too Signed-off-by: Kakadu <Kakadu@pm.me> push Kakadu github
75.59
53 master chore: Rewrite documentation with MDX (fix #25) Signed-off-by: Kakadu <Kakadu@pm.me> push Kakadu github
75.59
52 master chore: Rewrite documentation with MDX Signed-off-by: Kakadu <Kakadu@pm.me> push Kakadu github
75.59
51 master Contraint benchmark library < 1.7 Signed-off-by: Kakadu <Kakadu@pm.me> push Kakadu github
75.59
See All Builds (23)

Badge your Repo: GT

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