From 6029c9f17a68192d74cc602013ade846f4f8c331 Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 21 Feb 2019 12:14:45 +0100 Subject: [PATCH] Skip brew update and upgrade. --- .circleci/config.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index a73770798..8acbc0888 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -202,8 +202,6 @@ jobs: - run: name: Install build dependencies command: | - brew update - brew upgrade brew unlink python brew install z3 brew install boost @@ -353,8 +351,6 @@ jobs: - run: name: Install dependencies command: | - brew update - brew upgrade brew unlink python brew install z3 - run: mkdir -p test_results