Use ./

model-checking · Sep 23, 2024 · 99ce174 · 99ce174
1 parent aa8920d
commit 99ce174
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/cbmc-update.yml b/.github/workflows/cbmc-update.yml
@@ -52,7 +52,7 @@ jobs:
             sed -i "s/^CBMC_VERSION=.*/CBMC_VERSION=\"$CBMC_LATEST\"/" kani-dependencies
             git diff
             # install the newer CBMC version
-            scripts/setup/ubuntu/install_cbmc.sh
+            ./scripts/setup/ubuntu/install_cbmc.sh
             if ! ./scripts/kani-regression.sh ; then
               echo "next_step=create_issue" >> $GITHUB_ENV
             else