Add metrics to measure the time spent on EC checkpointing#962

Merged

masih merged 1 commit intomainfrom

masih/metrics-ec-finalize-time

May 1, 2025

Commits on May 1, 2025

Add metrics to measure the time spend on EC checkpointing
masih
committed