Remove tools from CI

CosmWasm · Jul 24, 2020 · 37aa115 · 37aa115
1 parent 0ffd572
commit 37aa115
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -49,10 +49,6 @@ jobs:
       - run:
           name: "Git garbage collection"
           command: git gc
-      - run:
-          name: "Build tools binaries"
-          command: |
-            make tools
       - save_cache:
           name: "Save go modules cache"
           key: go-mod-v1-{{ checksum "go.sum" }}