1
91%
main: 100%

Ran 18 Sep 2023 10:52AM UTC

Files 6

Run time 0s

Badge

Committed 18 Sep 2023 10:52AM UTC coverage: 100.0%. Remained the same

Build Type

github

Committed by Akshay

Commit Message

Merge branch 'main' of github.com:safe-global/safe-core-protocol into feature-95-formal-verification

Run Details

124 of 124 branches covered (100.0%)

Branch coverage included in aggregate %.

183 of 183 relevant lines covered (100.0%)

14.09 hits per line