ci: only run update-kani-metrics in model-checking/verify-rust-std#456

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

os-checker:disable-metrics-in-fork-reposos-checker/verify-rust-std:disable-metrics-in-fork-reposCopy head branch name to clipboard