fix: typo echidna

defi-wonderland · May 20, 2024 · ac3d438 · ac3d438
1 parent acc98d4
commit ac3d438
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -32,7 +32,7 @@ jobs:
 
       - name: Install dependencies
         run: yarn --frozen-lockfile --network-concurrency 1
-        
+
       - name: Run slither
         uses: crytic/[email protected]
         with:
@@ -124,7 +124,7 @@ jobs:
         uses: crytic/echidna-action@v2
         with:
           files: .
-          contract: GreeterInvariant
+          contract: InvariantGreeter
           crytic-args: --ignore-compile
 
   halmos-tests: