ci: run kani tests if test_kani.py is changed

Just so that we run the test when we change only the test itself.

Signed-off-by: Patrick Roy <[email protected]>

Author: roypat

.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",