fix: rename the metrics for proposed resource requests#124

Merged

sanposhiho merged 1 commit intomainfrom metric-change

Oct 2, 2023

+16-5

Commits on Oct 2, 2023

fix: rename the metrics for proposed resource requests
sanposhiho
committed