Repo Added
|
Files
1
|
Badge
Embed ▾
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 | earldouglas | travis-ci | pending completion | |
15 | master | Migrate docs to this git repo | push | earldouglas | travis-ci | pending completion | |
18 | master | Add a right-biased disjunction type | push | earldouglas | travis-ci | pending completion | |
3 | master | Migrate docs to this git repo | push | earldouglas | travis-ci | pending completion | |
1 | master | Migrate docs to this git repo | push | earldouglas | travis-ci | pending completion | |
187 | master | Drop pandoc formatting | push | earldouglas | travis-ci | pending completion | |
186 | master | Fix broken links | push | earldouglas | travis-ci | pending completion | |
185 | master | Migrate in docs | push | earldouglas | travis-ci | pending completion | |
184 | master | Add Codacy badge | Pull #25 | web-flow | travis-ci | pending completion | |
183 | master | Update link to general docs | push | earldouglas | travis-ci | pending completion |