Repo Added
|
Files
98
|
Badge
README BADGES
|
push
travis-ci
1814 of 4074 relevant lines covered (44.53%)
0.45 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
620 | andorp/idris | AR: Handle new name type. | push | travis-ci | pending completion | ||
618 | andorp/idris | Fix linter. | push | travis-ci | pending completion | ||
614 | andorp/idris | AR: Handle new name type. | push | travis-ci | pending completion | ||
609 | andorp/idris | AR: Handle new name type. | push | travis-ci | pending completion | ||
607 | andorp/idris | AR: Handle new name type. | push | travis-ci | pending completion | ||
605 | andorp/idris | AR: GHC 8.6.1 Semigroup. | push | travis-ci | pending completion | ||
602 | andorp/idris | AR: GHC 8.6.1 Semigroup. | push | travis-ci | pending completion | ||
601 | andorp/idris | Lint: Improve case linting. | push | travis-ci | pending completion | ||
600 | andorp/idris | AR: GHC 8.6.1 Semigroup. | push | travis-ci | pending completion | ||
591 | andorp/idris | AR: Easy fetch restriction. | push | travis-ci | pending completion |