1
89%
main: 89%

Ran 24 Mar 2024 09:12PM UTC

Files 817

Run time 15s

Badge

Committed 24 Mar 2024 08:59PM UTC coverage: 89.304% (+0.009%) from 89.295%

Build Type

github

Committed by

Commit Message

fix RVGate doc (#11857)

* fix rvgate doc

* lint

* fix factor of 2 and add explicit norm definition

(cherry picked from commit 5649831ee)

Run Details

58897 of 65951 relevant lines covered (89.3%)

178888.61 hits per line