|
Repo Added
|
Files
1
|
Badge
README BADGES
|
push
travis-ci
1 of 1 relevant lines covered (100.0%)
1.0 hits per line
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 7 | master | Upgrade Proof to 0.0.57. | push | travis-ci | pending completion | ||
| 8 | master | Build on Travis CI without `sudo`. | push | travis-ci | pending completion | ||
| 6 | master | Build on Travis without shipping to web server. No longer shipping artifiacts to my own personal web server. Instead I'm simply reporting the coverage to the command line. All I need to do is indicate whether or not it is at 100%. I'm not going t... | push | travis-ci | pending completion | ||
| 5 | master | Tidy Proof test. | push | travis-ci | pending completion | ||
| 4 | master | Upgrade Proof to 0.0.47. Closes #7. | push | travis-ci | pending completion | ||
| 2 | master | Release 0.0.0. Closes #5. | push | travis-ci | pending completion | ||
| 1 | master | Build on Travis CI, ship coverage to web server. Closes #4. Closes #3. | push | travis-ci | pending completion |