From 2ea94675d0d1c89eb38dde8df8789532ea72896c Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Wed, 19 Jun 2024 15:12:12 +0200
Subject: [PATCH] fix: typo in verification line

---
 .github/workflows/certora.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index 89e9335..04a1e36 100644
--- 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 }}