Repo Added
|
Files
25
|
Badge
README BADGES
|
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
960 | proof-announcement | Merge 7d7bab25a into 7c195430b | Pull #468 | travis-ci | pending completion | ||
959 | proof-announcement | call them notable _technical_ considerations | push | travis-ci | pending completion | ||
958 | proof-announcement | Merge a60673c9a into 7c195430b | Pull #468 | travis-ci | pending completion | ||
957 | proof-announcement | change subsection header | push | travis-ci | pending completion | ||
956 | proof-announcement | Merge fa0ff3290 into 7c195430b | Pull #468 | travis-ci | pending completion | ||
955 | proof-announcement | proof the annoucnement | push | travis-ci | pending completion |