fix: typo in verification line

morpho-org · Jun 19, 2024 · 2ea9467 · 2ea9467
1 parent af07945
commit 2ea9467
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -41,7 +41,6 @@ jobs:
           echo "key length" ${#CERTORAKEY}
           make -C certora munged-simple
           make -C certora munged-fifo
-          certora
-          bash certora/scripts/${{ matrix.conf }}.conf
+          certora certora/confs/${{ matrix.conf }}.conf
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}