4
83%
main: 83%

Ran 10 Jun 2024 05:10PM UTC

Files 217

Run time 8s

Badge

Committed 10 Jun 2024 04:59PM UTC coverage: 82.394% (+0.05%) from 82.34%

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

6070 of 7367 relevant lines covered (82.39%)

0.82 hits per line