From 067f165141fe8b899d3916d9f38dba833faff7b2 Mon Sep 17 00:00:00 2001
From: Akshay <akshay.ap95@gmail.com>
Date: Thu, 11 Jan 2024 15:41:03 +0100
Subject: [PATCH] [#146] Fix failing formal verification workflow

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

diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index 74781a3ee..8289d5d49 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -45,7 +45,7 @@ jobs:
           sudo mv solc-static-linux /usr/local/bin/solc8.23
 
       - name: Install dependencies
-        run: npm ci -ws
+        run: npm ci
 
       - name: Verify rule ${{ matrix.rule }}
         run: |