From 37aa1156ed2696b1d17fbe9a322de0d7bc8bd00a Mon Sep 17 00:00:00 2001
From: Ethan Frey <ethanfrey@users.noreply.github.com>
Date: Fri, 24 Jul 2020 22:06:49 +0200
Subject: [PATCH] Remove tools from CI

---
 .circleci/config.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 2e0a364fe6..7aa88a2ff1 100644
--- 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" }}