feat: add option to not add kani bk step

In some cases running kani steps is not useful and only results in
longer pipeline runs. Add option to disable it if needed.

Signed-off-by: Egor Lazarchuk <[email protected]>

Author: ShadowCurse

.buildkite/common.py

@@ -178,6 +178,12 @@ def __call__(self, parser, namespace, value, option_string=None):
     default=None,
     type=str,
 )
+COMMON_PARSER.add_argument(
+    "--no-kani",
+    help="Don't add kani step",
+    action="store_true",
+    default=False,
+)
 
 
 def random_str(k: int):

.buildkite/pipeline_pr.py

@@ -48,8 +48,9 @@
         "./tools/devtool -y make_release",
     )
 
-if not changed_files or any(
-    x.suffix in [".rs", ".toml", ".lock"] for x in changed_files
+if not pipeline.args.no_kani and (
+    not changed_files
+    or any(x.suffix in [".rs", ".toml", ".lock"] for x in changed_files)
 ):
     kani_grp = pipeline.build_group(
         "🔍 Kani",