Repo Added
|
Build
1130
Last
|
Files
30
|
Badge
Embed ▾
README BADGES
|
push
github
5 of 15 new or added lines in 1 file covered. (33.33%)
2789 of 3552 relevant lines covered (78.52%)
458061.11 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
9029757381 | gh-readonly-queue/master/pr-602-5347acd278146449a943e3dee647d0ff9893b189 | Use `subsume` when checking for repeated varnames (#602) * when checking if a varname has been seen before, check subsume rather than just equality * bump patch version * added tests for getproperty | push | web-flow | github |
78.52 |
Badge your Repo: DynamicPPL.jlWe detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.Could not find badge in README. |
Embed ▾
Refresh
README BADGES
|