Disable Certora in Circle CI (#1178)

trusttoken · May 31, 2022 · 7340905 · 7340905
1 parent 2e7671e
commit 7340905
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -66,13 +66,6 @@ jobs:
       - attach_workspace:
           at: .
       - run: yarn lint
-  verify:
-    docker:
-      - image: circleci/python:3-node
-    steps:
-      - attach_workspace:
-          at: .
-      - run: yarn verify
   test-others:
     docker:
       - image: cimg/node:16.1.0
@@ -143,10 +136,6 @@ workflows:
       - slither:
           requires:
             - setup
-      - verify:
-          context: main
-          requires:
-            - setup
       - test-truefi:
           requires:
             - build