david-christiansen / pudding
57%
master: 56%

LAST BUILD BRANCH: wip/graphical-commands
DEFAULT BRANCH: master
Repo Added
Files 36
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 wip/graphical-commands
branch: wip/graphical-commands
CHANGE BRANCH
x

94

push

travis-ci

david-christiansen 
Merge remote-tracking branch 'origin/master' into wip/graphical-commands

1860 of 3250 relevant lines covered (57.23%)

1.62 hits per line

Relevant lines Covered
3250 RELEVANT LINES 1860 COVERED LINES
1.62 HITS PER LINE
Source Files on wip/graphical-commands
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
94 wip/graphical-commands Merge remote-tracking branch 'origin/master' into wip/graphical-commands push david-christiansen travis-ci pending completion  
93 wip/graphical-commands Allow left-click navigation in proof trees push david-christiansen travis-ci pending completion  
92 wip/graphical-commands Allow left-click navigation in proof trees push david-christiansen travis-ci pending completion  
91 wip/graphical-commands Make REPL-style presentation GUI work push david-christiansen travis-ci pending completion  
90 wip/graphical-commands WIP: commands push david-christiansen travis-ci pending completion  
89 wip/graphical-commands WIP: commands push david-christiansen travis-ci pending completion  
See All Builds (22)