fix yml

Certora · May 22, 2024 · 408dbca · 408dbca
1 parent e08c03d
commit 408dbca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -41,7 +41,7 @@ jobs:
       - name: Verify rule ${{ matrix.rule }}
         run: |
           echo "key length" ${#CERTORAKEY}
-          certoraRun certora/steward/conf/${{ matrix.rule }}
+          certoraRun certora/confs/${{ matrix.rule }}
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}