1
93%
main: 94%

Ran 15 Jun 2023 06:49PM UTC

Files 39

Run time 1s

Badge

Committed 15 Jun 2023 06:49PM UTC coverage: 92.8%. Remained the same

Build Type

push

github

Committed by

Commit Message

Fix certora CI action

Run Details

156 of 170 branches covered (91.76%)

Branch coverage included in aggregate %.

308 of 330 relevant lines covered (93.33%)

51.3 hits per line