1
14%
master: 85%

Ran 21 Dec 2023 10:49AM UTC

Files 8

Run time 0s

Badge

Committed 21 Dec 2023 10:48AM UTC coverage: 13.547%. Remained the same

Build Type

push

github

Committed by

Commit Message

Add paths to certora workflow

Run Details

22 of 124 branches covered (0.0%)

Branch coverage included in aggregate %.

33 of 282 relevant lines covered (11.7%)

2.93 hits per line