2
98%
main: 98%

Ran 21 Mar 2024 11:52AM UTC

Files 13

Run time 0s

Badge

Committed 21 Mar 2024 11:48AM UTC coverage: 94.886% (+0.03%) from 94.858%

Build Type

push

github

Committed by

Commit Message

Merge pull request #226 from privacy-scaling-explorations/refactor/index-of

Handle `LeanIMT.indexOf` exception when a leaf does not exist

Run Details

272 of 296 branches covered (91.89%)

Branch coverage included in aggregate %.

433 of 447 relevant lines covered (96.87%)

94.71 hits per line