Closed uranus0515 closed 10 months ago
5 859 tests ±0 5 859 :white_check_mark: ±0 8m 15s :stopwatch: -23s 6 suites ±0 0 :zzz: ±0 6 files ±0 0 :x: ±0
Results for commit 435f2a6d. ± Comparison against base commit c232f969.
:recycle: This comment has been updated with latest results.
All modified and coverable lines are covered by tests :white_check_mark:
Comparison is base (
c232f96
) 72.88% compared to head (435f2a6
) 72.89%.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
1, Adjust the number of processors used for egraph search to half of the total number of processors.