Update Kani Metrics#511

Open

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

update-kani-metrics

Commits on Nov 2, 2025

Update Kani metrics

github-merge-queue[bot]
authored and
github-actions[bot]
committed