Update Kani Metrics#11

github-actions[bot] wants to merge 1 commit into

maintautschnig/verify-rust-std:mainfrom

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