test: Run kani if dependencies are updated

Currently, we only run kani if a .rs file is modified. We should also run it if dependencies are changed. Signed-off-by: Patrick Roy <[email protected]>
firecracker-microvm · Oct 6, 2023 · 2bc525b · 2bc525b
1 parent 4c0669c
commit 2bc525b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.buildkite/pipeline_pr.py b/.buildkite/pipeline_pr.py
@@ -109,7 +109,9 @@
 if any(x.parent.name == "tools" and "release" in x.name for x in changed_files):
     steps.append(release_grp)
 
-if not changed_files or any(x.suffix == ".rs" for x in changed_files):
+if not changed_files or any(
+    x.suffix in [".rs", ".toml", ".lock"] for x in changed_files
+):
     steps.append(kani_grp)
 
 if run_all_tests(changed_files):