| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 32 | master | Document identity equality | push | travis-ci | pending completion set done | ||
| 31 | master | Add coverage badge | push | travis-ci | pending completion set done | ||
| 30 | master | Fix coverage data not available | push | travis-ci | pending completion set done | ||
| 25 | coverage | Build on openjdk8 | push | travis-ci | pending completion set done |