|
Repo Added
|
Files
6
|
Badge
README BADGES
|
push
travis-ci
74 of 76 relevant lines covered (97.37%)
13.95 hits per line
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 52 | master | Merge branch 'fix-issue-7' | push | travis-ci | pending completion | ||
| 49 | master | Update README.md | push | travis-ci | pending completion | ||
| 47 | master | Release v0.0.5 | push | travis-ci | pending completion | ||
| 45 | master | style(Coq): remove useless comments | push | travis-ci | pending completion | ||
| 44 | master | Update README.md | push | travis-ci | pending completion | ||
| 42 | master | chore(readme): simplify Closes #6 | push | travis-ci | pending completion | ||
| 43 | master | Update README.md | push | travis-ci | pending completion | ||
| 40 | master | Release v0.0.4 | push | travis-ci | pending completion | ||
| 39 | master | feat(examples): add functionnal directives example | push | travis-ci | pending completion | ||
| 37 | master | chore(readme): add code climate badge | push | travis-ci | pending completion |