2
99%
main: 94%

Ran 31 Mar 2023 03:20PM UTC

Files 38

Run time 1s

Badge

Committed 31 Mar 2023 03:19PM UTC coverage: 97.071% (-1.5%) from 98.526%

Build Type

push

github

Committed by Mikhail

Commit Message

Merge branch 'main' of github.com:safe-global/safe-contracts into formal-verification

Run Details

156 of 162 branches covered (96.3%)

Branch coverage included in aggregate %.

308 of 316 relevant lines covered (97.47%)

53.57 hits per line