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: