chore: format the code about compact and add a time cost for bind table#13369

Merged

BohuTANG merged 1 commit intodatabendlabs:mainfrom

Oct 21, 2023

Commits on Oct 21, 2023

chore: format the code about compact and add a time cost for bind table
BohuTANG
committed