From d3009c3db14e5e226d94acc7680339aeb5753044 Mon Sep 17 00:00:00 2001
From: Jaisurya Nanduri <jaisnan@amazon.com>
Date: Fri, 6 Sep 2024 20:50:58 +0000
Subject: [PATCH] Add --path to kani.yml check

---
 .github/workflows/kani.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index b8413581f9f0c..4b2e87e99bff0 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -35,4 +35,4 @@ jobs:
           submodules: true
 
       - name: Run Kani Script
-        run: bash ./head/run-kani.sh ${{github.workspace}}/head
+        run: bash ./head/run-kani.sh --path ${{github.workspace}}/head