| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 3 | master | Add Gitter link | Pull #7 | travis-ci | pending completion | ||
| 2 | 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 #3. Closes #4. | push | travis-ci | pending completion |