theory / fsa-rules / 15
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 15 | master | Just use prove. | push |  theory |
travis-ci | pending completion set done |
- ← Previous
- 1
- 2
- Next →
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 15 | master | Just use prove. | push | theory |
travis-ci | pending completion set done |