| 
Repo Added
 | 
Files
1
 | 
Badge
 
README BADGES
 | 
push
travis-ci
1 of 1 relevant lines covered (100.0%)
1.0 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | 
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage | 
|---|---|---|---|---|---|---|---|
| 9 | master | Remove `release.md`. | push | travis-ci | pending completion | ||
| 8 | master | Build without `sudo` on Travis CI. | push | travis-ci | pending completion | ||
| 7 | master | Remove publish to static web server. | push | travis-ci | pending completion | ||
| 6 | master | Remove test sub directory. | push | travis-ci | pending completion | ||
| 5 | master | Release 0.0.0. Closes #5. | push | travis-ci | pending completion | ||
| 3 | master | Upgrade Proof to 0.0.47. Closes #6. | push | travis-ci | pending completion | ||
| 1 | master | Build on Travis CI, ship coverage to web server. Closes #4. Closes #3. | push | travis-ci | pending completion | ||
| 2 | master | Tidy `.travis.yml`. See #4. See #3. | push | travis-ci | pending completion |