Update Kani Metrics#13

github-actions[bot] wants to merge 1 commit intomainthanhnguyen-aws/verify-rust-std:mainfrom

update-kani-metricsthanhnguyen-aws/verify-rust-std:update-kani-metricsCopy head branch name to clipboard