[#146] Fix failing formal verification workflow

safe-global · Jan 11, 2024 · 067f165 · 067f165
1 parent f8151a4
commit 067f165
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: |