Repo Added
|
Build
1709
Last
|
Files
57
|
Badge
README BADGES
|
push
github
169 of 292 branches covered (57.88%)
Branch coverage included in aggregate %.
456 of 657 relevant lines covered (69.41%)
55.32 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
4468806928 | feature/max-depth-param-in-smt | Try to use older version of slither to fix CI | push | Andriian Chestnykh | github | pending completion | |
4446272003 | feature/max-depth-param-in-smt | Merge remote-tracking branch 'origin/master' into feature/max-depth-param-in-smt | push | Andriian Chestnykh | github | pending completion | |
4446193294 | feature/max-depth-param-in-smt | Minor improvements | push | Andriian Chestnykh | github | pending completion | |
4313693883 | feature/max-depth-param-in-smt | Fix linter errors | push | Andriian Chestnykh | github | pending completion | |
4313660746 | feature/max-depth-param-in-smt | Merge branch 'master' into feature/max-depth-param-in-smt | push | Andriian Chestnykh | github | pending completion |
![]() |
Badge your Repo: contractsWe 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 ▾
README BADGES
|