|
Repo Added
|
Files
1
|
Badge
README BADGES
|
push
travis-ci
34 of 34 new or added lines in 1 file covered. (100.0%)
273 of 273 relevant lines covered (100.0%)
1433.56 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 20 | master | Add a right-biased disjunction type | push | travis-ci | pending completion | ||
| 15 | master | Migrate docs to this git repo | push | travis-ci | pending completion | ||
| 18 | master | Add a right-biased disjunction type | push | travis-ci | pending completion | ||
| 3 | master | Migrate docs to this git repo | push | travis-ci | pending completion | ||
| 1 | master | Migrate docs to this git repo | push | travis-ci | pending completion | ||
| 187 | master | Drop pandoc formatting | push | travis-ci | pending completion | ||
| 186 | master | Fix broken links | push | travis-ci | pending completion | ||
| 185 | master | Migrate in docs | push | travis-ci | pending completion | ||
| 184 | master | Add Codacy badge | Pull #25 | travis-ci | pending completion | ||
| 183 | master | Update link to general docs | push | travis-ci | pending completion |