newca12 / gapt
36%
master: 34%

LAST BUILD BRANCH: wip
DEFAULT BRANCH: master
Repo Added
Files 236
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
branch: SELECT
CHANGE BRANCH
x

46

push

travis-ci

newca12 
Allow local publication

8349 of 23509 relevant lines covered (35.51%)

0.36 hits per line

Relevant lines Covered
23509 RELEVANT LINES 8349 COVERED LINES
0.36 HITS PER LINE
Source Files on master
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
46 wip Allow local publication push newca12 travis-ci pending completion  
45 broken-code-coverage Revert sbt-coverage version bump push newca12 travis-ci pending completion  
44 wip Test revert to sbt-scoverage 1.0.4 push newca12 travis-ci pending completion  
41 tape-test <a href="https://github.com/newca12/gapt/commit/a634b3264">&lt;a href=&quot;https://github.com/newca12/gapt/commit/</a><a class="double-link" href="https://github.com/newca12/gapt/commit/&lt;a class=&quot;double-link... push newca12 travis-ci pending completion  
40 wip Allow local publication push newca12 travis-ci pending completion  
39 wip Remove some warnings push newca12 travis-ci pending completion  
38 ivytorobinson IvyToRobinsonTest cleanup push newca12 travis-ci pending completion  
37 ivytorobinson IvyToRobinsonTest cleanup push newca12 travis-ci pending completion  
36 sat4j Add Sat4j fallback to minisat push newca12 travis-ci pending completion  
34 master Revert back to specs2 2.4.17 since the junitxml reporter doesn't seem to work with 3.0. push gebner travis-ci pending completion  
See All Builds (27)