1
87%
main: 89%

Ran 24 Mar 2024 09:19PM UTC

Files 1282

Run time 24s

Badge

Committed 24 Mar 2024 08:59PM UTC coverage: 86.863% (+0.03%) from 86.838%

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

74999 of 86342 relevant lines covered (86.86%)

100650.53 hits per line