From 3e59f88e9583a8a21bc2f4131e8c3715653e8499 Mon Sep 17 00:00:00 2001
From: Alfredo Di Napoli <alfredo@well-typed.com>
Date: Tue, 11 Feb 2020 17:57:36 +0100
Subject: [PATCH] Install git & ssh sooner

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 4c628e4213..6a1873c33c 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -6,9 +6,9 @@ jobs:
     docker:
       - image: fpco/stack-build:lts
     steps:
+      - run: apt-get update && apt-get install -y z3 git ssh
       - checkout
       - add_ssh_keys
-      - run: apt-get update && apt-get install -y z3 git ssh
       #- run: find .git
       #- run: sed -i '/fixpoint.git/a fetch = +refs/pull/*/head:refs/remotes/origin/pr/*' .git/modules/liquid-fixpoint/config
       - run: git submodule sync