From 6ce53d702b4a0e1bedc97a797b16358a7d66cdb8 Mon Sep 17 00:00:00 2001 From: zjp Date: Tue, 12 Aug 2025 13:04:15 +0000 Subject: [PATCH] ci: only run update-kani-metrics in model-checking/verify-rust-std Fork repos will auto run this job, thus bot PRs are weekly created due to autoharness and frequent API changes in libstd. So this commit disables the job for fork repos. --- .github/workflows/kani-metrics.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/kani-metrics.yml b/.github/workflows/kani-metrics.yml index 9ea9162e10c8c..39548f28b8190 100644 --- a/.github/workflows/kani-metrics.yml +++ b/.github/workflows/kani-metrics.yml @@ -11,6 +11,7 @@ defaults: jobs: update-kani-metrics: + if: github.repository == 'model-checking/verify-rust-std' runs-on: ubuntu-latest steps: