dedis / debugtools
85%
main: 87%

LAST BUILD BRANCH: pr_from_forked_branch
DEFAULT BRANCH: main
Repo Added
Token Xz9Czl1DHtM9l5GpcFbAClmA1c5wNgeg5 regen
Build 47 Last
Files 7
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 update-ci
branch: update-ci
CHANGE BRANCH
x
Sync Branches

3378509641

push

github

GitHub 
Merge pull request #10 from dedis/fix_ci

180 of 213 relevant lines covered (84.51%)

14645.05 hits per line

Relevant lines Covered
213 RELEVANT LINES 180 COVERED LINES
14645.05 HITS PER LINE
Source Files on update-ci

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
3378509641 update-ci Merge pull request #10 from dedis/fix_ci push GitHub github pending completion  
3378462876 update-ci Merge pull request #10 from dedis/fix_ci push GitHub github
84.51
See All Builds (29)

Badge your Repo: debugtools

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