1
91%
main: 91%

Ran 14 Dec 2023 04:29PM UTC

Files 785

Run time 21s

Badge

Committed 14 Dec 2023 03:47PM UTC coverage: 90.284% (+0.008%) from 90.276%

Build Type

push

github

Committed by

Commit Message

fix type annotation for solve_did_tp (#17056)

Run Details

13283 of 14768 branches covered (0.0%)

Branch coverage included in aggregate %.

93812 of 103852 relevant lines covered (90.33%)

0.9 hits per line