Remove tools from CI

2020-07-24 22:06:49 +02:00
parent 0ffd572f1d
commit 37aa1156ed
1 changed files with 0 additions and 4 deletions
--- 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" }}