Repo Added
|
Files
60
|
Badge
Embed ▾
README BADGES
|
push
github
4254 of 5571 relevant lines covered (76.36%)
561.42 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
4470695975 | master | Update TagBot config to latest | push | Max Horn | github | pending completion | |
4469817603 | master | add mstd, divrem | push | Max Horn | github | pending completion | |
4469066325 | hs/mstd_divrem | Merge faf612f0d into 016784e9a | Pull #625 | GitHub | github | pending completion | |
4293941553 | master | Update OSCAR URL | push | Max Horn | github | pending completion | |
4260464556 | refs/tags/v0.17.0 | CI: limit which branches get tested | push | Max Horn | github | pending completion | |
4260321045 | master | CI: limit which branches get tested | push | Max Horn | github | pending completion | |
4260283302 | mh/ci | Merge 1bcb034da into 6969b6332 | Pull #624 | GitHub | github | pending completion | |
4260278377 | master | Adapt to the big renaming | push | Max Horn | github | pending completion | |
4260192555 | mh/rename | Merge 63f370a97 into b8ff11802 | Pull #621 | GitHub | github | pending completion | |
4260192321 | mh/rename | Adapt to the big renaming | push | Max Horn | github | pending completion |