7
83%
main: 83%

Ran 10 Jun 2024 05:10PM UTC

Files 217

Run time 9s

Badge

Committed 10 Jun 2024 04:59PM UTC coverage: 82.387% (+0.06%) from 82.332%

Build Type

push

github

Committed by

Commit Message

Disallow setting flat options (#1731)

* merge options v2

* lint

---------

Co-authored-by: Kevin Tian <kevin.tian@ibm.com>

Run Details

6062 of 7358 relevant lines covered (82.39%)

0.82 hits per line