1
90%
main: 89%

Ran 04 Sep 2024 04:45PM UTC

Files 855

Run time 32s

Badge

Committed 04 Sep 2024 04:24PM UTC coverage: 89.784% (-0.05%) from 89.835%

Build Type

github

Committed by

Commit Message

Bug fix in `HoareOptimizer` (#13083)

* bug fix, test, reno

* suggestions from code review; lint

(cherry picked from commit 576efcf14)

Run Details

66882 of 74492 relevant lines covered (89.78%)

233400.48 hits per line