fix yml again

Certora · Sep 23, 2024 · 44bd40d · 44bd40d
1 parent ccabc06
commit 44bd40d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora-basic.yml b/.github/workflows/certora-basic.yml
@@ -54,7 +54,7 @@ jobs:
           make munged
           cd ../..
           echo "key length" ${#CERTORAKEY}
-          certoraRun certora/conf/${{ matrix.rule }} --wait_for_results
+          certoraRun certora/basic/conf/${{ matrix.rule }} --wait_for_results
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}