grin-tech / grin
45%
master: 59%

LAST BUILD BRANCH: 38-end-to-end-tests
DEFAULT BRANCH: master
Repo Added
Files 98
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 andorp/idris
branch: andorp/idris
CHANGE BRANCH
x

620

push

travis-ci

andorp 
AR: Handle new name type.

1814 of 4074 relevant lines covered (44.53%)

0.45 hits per line

Relevant lines Covered
4074 RELEVANT LINES 1814 COVERED LINES
0.45 HITS PER LINE
Source Files on andorp/idris
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
620 andorp/idris AR: Handle new name type. push andorp travis-ci pending completion  
618 andorp/idris Fix linter. push andorp travis-ci pending completion  
614 andorp/idris AR: Handle new name type. push andorp travis-ci pending completion  
609 andorp/idris AR: Handle new name type. push andorp travis-ci pending completion  
607 andorp/idris AR: Handle new name type. push andorp travis-ci pending completion  
605 andorp/idris AR: GHC 8.6.1 Semigroup. push andorp travis-ci pending completion  
602 andorp/idris AR: GHC 8.6.1 Semigroup. push andorp travis-ci pending completion  
601 andorp/idris Lint: Improve case linting. push andorp travis-ci pending completion  
600 andorp/idris AR: GHC 8.6.1 Semigroup. push andorp travis-ci pending completion  
591 andorp/idris AR: Easy fetch restriction. push andorp travis-ci pending completion  
See All Builds (339)