|
Repo Added
|
Files
641
|
Badge
README BADGES
|
push
travis-ci
9610 of 30555 relevant lines covered (31.45%)
0.31 hits per line
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 656 | v3.1.3 | Merge pull request #660 from danilovesky/tidy-error-messages Tidy up MPSat and Petrify error messages | push | travis-ci | pending completion | ||
| 652 | v3.1.3 | Updated New work screenshots and various wiki icons | push | travis-ci | pending completion |