Repo Added
|
Files
45
|
Badge
Embed ▾
README BADGES
|
push
circleci
414 of 418 branches covered (99.04%)
Branch coverage included in aggregate %.
747 of 749 relevant lines covered (99.73%)
36.73 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
109e0ed8... | certora/accounting | more rules passes, added link to whitelist | push | Nurit Dor | circleci | pending completion | |
07b8029c... | certora/accounting | redeem rule | push | Nurit Dor | circleci | pending completion | |
e38f4741... | certora/accounting | update rule | push | Shelly Grossman | circleci | pending completion | |
3724d36e... | certora/accounting | lint and fix to expiry checking in harness | push | Shelly Grossman | circleci | pending completion | |
8919021d... | certora/accounting | lint | push | Shelly Grossman | circleci | pending completion | |
809d1422... | certora/accounting | cleaned up settle vault + redeem rules | push | aparnakr | circleci | pending completion | |
d660288a... | certora/accounting | settle vault rule and harness | push | Nurit Dor | circleci | pending completion | |
c4b2b0a9... | certora/accounting | timeout in orderOfOperations and settleVault | push | aparnakr | circleci | pending completion | |
8853af07... | certora/accounting | merged with master | push | aparnakr | circleci | pending completion |