Repo Added
|
Files
500
|
Badge
Embed ▾
README BADGES
|
push
github
3 of 3 new or added lines in 1 file covered. (100.0%)
11733 of 12557 relevant lines covered (93.44%)
1.69 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
8341348989 | develop | ttt: faster stateIDs | push | mtf90 | github |
93.44 |
|
8039961950 | develop | cleanup optional dependency definitions | push | mtf90 | github |
93.44 |
|
8039587778 | jlink-it | Merge 91109957b into 0e22986eb | Pull #122 | web-flow | github |
93.44 |
|
7879020766 | develop | cleanup dependency declarations | push | mtf90 | github |
93.44 |
|
7804926433 | develop | Cleanup javadoc warnings (#120) | push | web-flow | github |
93.44 |
|
7804572902 | javadoc | Merge f4a8837ab into 59d0f87f5 | Pull #120 | web-flow | github |
93.44 |
|
7802804362 | javadoc | Merge 66b6cf194 into 59d0f87f5 | Pull #120 | web-flow | github |
93.44 |
|
7647291847 | develop | add InterningMembershipOracle | push | mtf90 | github |
93.44 |
|
7587238472 | develop | bump built-tools | push | mtf90 | github |
93.4 |
|
7548924085 | develop | Drop guava (#119) * initial removal * cleanups | push | web-flow | github |
93.4 |