Repo Added
|
Files
48
|
Badge
Embed ▾
README BADGES
|
push
github
734 of 804 branches covered (91.29%)
Branch coverage included in aggregate %.
1948 of 2041 relevant lines covered (95.44%)
0.95 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
4554722766 | doc-polish | Cross reference | push | Donal K. Fellows | github | pending completion | |
4554262997 | doc-polish | Improve documentation of some abstract properties | push | Donal K. Fellows | github | pending completion | |
4533185726 | doc-polish | More doc tweaking | push | Donal K. Fellows | github | pending completion | |
4532988386 | doc-polish | More doc tweaking | push | Donal K. Fellows | github | pending completion | |
4513570194 | doc-polish | Reduce backslashes | push | Donal K. Fellows | github | pending completion | |
4511642874 | doc-polish | More message format tweaking | push | Donal K. Fellows | github | pending completion | |
4503358687 | doc-polish | Guh | push | Donal K. Fellows | github | pending completion |