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