fix: Fix certora conifig

Certora · Feb 16, 2024 · d0792ff · d0792ff
1 parent 248ca80
commit d0792ff
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/certora-gsm.yml b/.github/workflows/certora-gsm.yml
@@ -45,7 +45,6 @@ jobs:
       - name: Install node dependencies
         run: |
           npm i
-          forge i
 
       - name: Verify rule ${{ matrix.rule }}
         run: |