|
Repo Added
|
Files
4
|
Badge
README BADGES
|
push
travis-ci
108 of 108 relevant lines covered (100.0%)
60825203.61 hits per line
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 15 | master | Add link to CAA article | push | travis-ci |
100.0 |
||
| 14 | master | Remove TwoPhase commit TLA+ spec from CAA | push | travis-ci |
100.0 |
||
| 13 | master | Added TLA+/PlusCal implementation | push | travis-ci |
100.0 |
||
| 12 | master | Ignore Threadsafe implementation, just a wrapper | push | travis-ci |
100.0 |
||
| 11 | master | Update README with synchronisation considerations | push | travis-ci |
69.23 |
||
| 10 | master | Add benchmark results to README | push | travis-ci |
100.0 |
||
| 9 | master | Clarify timeout revocation | push | travis-ci |
100.0 |
||
| 8 | master | Travis fix for 1.10 | push | travis-ci |
100.0 |
||
| 7 | master | Clarification on what it does and doesn't do | push | travis-ci |
100.0 |
||
| 6 | master | Add endian drone ci | push | travis-ci |
100.0 |