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
Detailed source file information is not available for this build.

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)