Update Kani Metrics#2

github-actions[bot] wants to merge 2 commits into

mainesbmc/verify-rust-std:mainfrom

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