Repo Added
|
Build
1576
Last
|
Files
32
|
Badge
Embed ▾
README BADGES
|
github
156 of 170 branches covered (91.76%)
Branch coverage included in aggregate %.
308 of 330 relevant lines covered (93.33%)
105.86 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
5282493914 | fix/certora-ci | Merge 7e4638808 into 1ed486bb1 | Pull #591 | web-flow | github | pending completion | |
5282493528 | fix/certora-ci | Fix certora CI action | push | mmv08 | github | pending completion | |
5282319646 | fix/certora-ci | Merge dd43148f6 into 36a07feb3 | Pull #591 | web-flow | github | pending completion | |
5282319307 | fix/certora-ci | Fix certora CI action | push | mmv08 | github | pending completion | |
5282187765 | fix/certora-ci | Merge fc22a9fac into 36a07feb3 | Pull #591 | web-flow | github | pending completion | |
5282187210 | fix/certora-ci | Fix certora CI action | push | mmv08 | github | pending completion | |
5282160165 | fix/certora-ci | Fix certora CI action | push | mmv08 | github | pending completion | |
5282160530 | fix/certora-ci | Merge e6a045f32 into 36a07feb3 | Pull #591 | web-flow | github | pending completion | |
5282144101 | fix/certora-ci | Merge 9166cebd3 into 36a07feb3 | Pull #591 | web-flow | github | pending completion | |
5282143287 | fix/certora-ci | Fix certora CI action | push | mmv08 | github | pending completion |