Repo Added
|
Build
1576
Last
|
Files
32
|
Badge
Embed ▾
README BADGES
|
github
247 of 276 branches covered (0.0%)
Branch coverage included in aggregate %.
395 of 403 relevant lines covered (98.01%)
97.47 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
7503375506 | pin-certora-cli-version | Pin Certora CLI Version in CI | Pull #730 | nlordell | github |
94.55 |
|
7503181117 | pin-certora-cli-version | Pin Certora CLI Version in CI | Pull #730 | nlordell | github |
94.55 |