diff --git a/.buildkite/pipeline_pr.py b/.buildkite/pipeline_pr.py
index 07f7e603d39..8744a0dcb6a 100755
--- a/.buildkite/pipeline_pr.py
+++ b/.buildkite/pipeline_pr.py
@@ -53,6 +53,7 @@
     not changed_files
     or any(x.suffix in [".rs", ".toml", ".lock"] for x in changed_files)
     or any(x.parent.name == "devctr" for x in changed_files)
+    or any(x.name == "test_kani.py" for x in changed_files)
 ):
     kani_grp = pipeline.build_group(
         "🔍 Kani",
diff --git a/tests/integration_tests/test_kani.py b/tests/integration_tests/test_kani.py
index 9b087a5375f..9660dde75fc 100644
--- a/tests/integration_tests/test_kani.py
+++ b/tests/integration_tests/test_kani.py
@@ -34,7 +34,7 @@ def test_kani(results_dir):
     # --output-format terse is required by -j
     # -Z unstable-options is needed to enable the other `-Z` flags
     _, stdout, _ = utils.check_output(
-        "cargo kani -Z unstable-options -Z stubbing -Z function-contracts -Z restrict-vtable -j --output-format terse",
+        "cargo kani -Z unstable-options -Z stubbing -Z function-contracts -Z restrict-vtable -j --output-format terse --harness-timeout 40m",
         timeout=TIMEOUT,
     )