Merge pull request #1610 from ucsd-progsys/adinapoli/issue-1566-part-2

Install git & ssh before checking out the code on CircleCI

Author: nikivazou

.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